Tue, 07 Sep 1999 16:56:47 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 01 Sep 1999 21:16:23 +0200 | wenzelm | Thm.def_name; | file | diff | annotate |
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 |