wenzelm [Wed, 07 Jun 2006 02:01:34 +0200] rev 19811
added locale_insts;
wenzelm [Wed, 07 Jun 2006 02:01:33 +0200] rev 19810
renamed Type.(un)varifyT to Logic.(un)varifyT;
made (un)varify strict wrt. global context -- may use legacy_(un)varify as workaround;
renaming: removed duplicate, use zip_options;
wenzelm [Wed, 07 Jun 2006 02:01:32 +0200] rev 19809
added 'if' and 'for' keywords;
tuned;
wenzelm [Wed, 07 Jun 2006 02:01:31 +0200] rev 19808
added facts_of;
tuned interfaces;
wenzelm [Wed, 07 Jun 2006 02:01:30 +0200] rev 19807
added Tools/invoke.ML;
wenzelm [Wed, 07 Jun 2006 02:01:28 +0200] rev 19806
renamed Type.(un)varifyT to Logic.(un)varifyT;
made (un)varify strict wrt. global context -- may use legacy_(un)varify as workaround;
wenzelm [Wed, 07 Jun 2006 02:01:27 +0200] rev 19805
do not open Logic;
wenzelm [Wed, 07 Jun 2006 01:59:17 +0200] rev 19804
tuned;
wenzelm [Wed, 07 Jun 2006 01:51:22 +0200] rev 19803
removed obsolete ML files;
wenzelm [Wed, 07 Jun 2006 01:06:53 +0200] rev 19802
removed obsolete ML files;