Fri, 01 Oct 1999 20:37:38 +0200 | wenzelm | added atomic_thesis; | file | diff | annotate |
Sat, 25 Sep 1999 13:07:48 +0200 | wenzelm | admit unbinding; | file | diff | annotate |
Sat, 04 Sep 1999 21:05:01 +0200 | wenzelm | removed Syntax.binding; | file | diff | annotate |
Fri, 03 Sep 1999 14:52:19 +0200 | wenzelm | "this"; | file | diff | annotate |
Tue, 24 Aug 1999 11:50:17 +0200 | wenzelm | ??thesis: include params; | file | diff | annotate |
Mon, 19 Jul 1999 21:26:33 +0200 | wenzelm | facts: no statement_binds; | file | diff | annotate |
Mon, 07 Jun 1999 22:16:56 +0200 | wenzelm | facts: bind named props (from proof.ML/let_thms); | file | diff | annotate |
Sat, 05 Jun 1999 20:27:53 +0200 | wenzelm | renamed object_logic.ML to Isar/auto_bind.ML and tuned this module; | file | diff | annotate |