doc-src/IsarImplementation/Thy/integration.thy
Thu, 31 Aug 2006 22:55:49 +0200 wenzelm misc cleanup;
Thu, 31 Aug 2006 14:53:55 +0200 wenzelm more on contexts;
Sat, 08 Jul 2006 14:01:40 +0200 wenzelm tuned;
Thu, 06 Jul 2006 16:49:37 +0200 wenzelm Isar.context ();
Fri, 06 Jan 2006 15:18:19 +0100 wenzelm Pure/Isar: Toplevel.theory_to_proof admits transactions that modify the theory;
Wed, 04 Jan 2006 00:52:45 +0100 wenzelm tuned;
Wed, 04 Jan 2006 00:52:38 +0100 wenzelm more stuff;
less more (0) -7 tip