Wed, 18 Aug 1999 20:45:52 +0200 | wenzelm | assume: multiple args; | file | diff | annotate |
Tue, 13 Jul 1999 13:54:08 +0200 | wenzelm | handle cgoal; | file | diff | annotate |
Fri, 09 Jul 1999 18:48:54 +0200 | wenzelm | added Isar/local_defs.ML; | file | diff | annotate |