src/Pure/Isar/auto_bind.ML
Fri, 03 Sep 1999 14:52:19 +0200 wenzelm "this";
Tue, 24 Aug 1999 11:50:17 +0200 wenzelm ??thesis: include params;
Mon, 19 Jul 1999 21:26:33 +0200 wenzelm facts: no statement_binds;
Mon, 07 Jun 1999 22:16:56 +0200 wenzelm facts: bind named props (from proof.ML/let_thms);
Sat, 05 Jun 1999 20:27:53 +0200 wenzelm renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
less more (0) tip