doc-src/IsarImplementation/Thy/integration.thy
Tue, 15 Jul 2008 10:49:39 +0200 wenzelm adapted ThyInfo.end_theory;
Tue, 08 Jul 2008 17:48:17 +0200 wenzelm more qualified ThyInfo names;
Thu, 10 Apr 2008 16:15:53 +0200 wenzelm Isar.goal: tactical goal only;
Fri, 28 Mar 2008 20:02:04 +0100 wenzelm Context.>> : operate on Context.generic;
Wed, 26 Mar 2008 22:39:57 +0100 wenzelm renamed ML_Context.>> to Context.>> (again);
Tue, 07 Aug 2007 20:19:49 +0200 wenzelm theory loader: added use_thys, removed obsolete update_thy;
Fri, 19 Jan 2007 22:08:02 +0100 wenzelm moved ML context stuff to from Context to ML_Context;
less more (0) -10 -7 tip