Thu, 06 Jul 2000 13:28:36 +0200 | paulson | removal of batch style, and tidying | file | diff | annotate |
Wed, 01 Sep 1999 21:21:22 +0200 | wenzelm | bind_thm; | file | diff | annotate |
Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |