| Wed, 09 Aug 2000 20:43:03 +0200 | wenzelm | thms "atomize"; | file | diff | annotate |
| Tue, 01 Aug 2000 11:57:09 +0200 | wenzelm | handle actual object-logic rules by atomizing the goal; | file | diff | annotate |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |