Changes by: Stephan Schmitt (sschmitt at sapient.com)
Date: 2000-06-09 18:08:48 -0700 (Fri, 09 Jun 2000)
Revision: 3010
Log message:

      
      Documented Example File, Bye guys
      

Changes	Path
+92 -77	metaprl/theories/itt/jprover_tests.ml