src/Pure/Isar/ROOT.ML
Sun, 22 May 2005 16:51:13 +0200 wenzelm added find_theorems.ML, ../simplifier.ML;
Tue, 03 May 2005 10:33:31 +0200 haftmann final implementation of antiquotations styles
Sat, 23 Apr 2005 19:50:15 +0200 wenzelm removed isar.ML;
Fri, 15 Apr 2005 12:00:00 +0200 ballarin Removed most of the atp interface from Pure.
Wed, 13 Apr 2005 18:46:12 +0200 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
Wed, 13 Apr 2005 18:34:22 +0200 wenzelm *** empty log message ***
Fri, 21 Jan 2005 18:00:18 +0100 paulson Jia Meng: delta simpsets and clasets
Tue, 11 Jan 2005 14:18:06 +0100 berghofe Swapped session.ML and isar_output.ML
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 22 Apr 2004 11:00:22 +0200 wenzelm added Isar/constdefs.ML;
Tue, 16 Jul 2002 18:37:56 +0200 wenzelm tuned order of modules;
Mon, 25 Feb 2002 20:46:09 +0100 wenzelm clarify module dependencies;
Tue, 12 Feb 2002 20:35:35 +0100 wenzelm eliminated Pure/Isar/comment.ML;
Mon, 03 Dec 2001 21:31:55 +0100 wenzelm renamed rule_context.ML to context_rules.ML;
Thu, 29 Nov 2001 01:49:44 +0100 wenzelm tuned;
Mon, 26 Nov 2001 23:24:27 +0100 wenzelm added Pure/Isar/rule_context.ML;
Mon, 22 Oct 2001 18:02:21 +0200 wenzelm rearrange sources for locales;
Wed, 03 Oct 2001 21:01:53 +0200 wenzelm Isar/induct_attrib.ML;
Fri, 03 Nov 2000 21:25:10 +0100 wenzelm structure Obtain = Obtain;
Sun, 25 Jun 2000 23:47:47 +0200 wenzelm added Isar/antiquote.ML, Isar/isar_output.ML, Isar/thy_header.ML;
Fri, 05 May 2000 22:09:41 +0200 wenzelm GPLed;
Wed, 08 Mar 2000 17:51:29 +0100 wenzelm added rule_cases.ML;
Sun, 27 Feb 2000 15:07:53 +0100 wenzelm added Isar/net_rules.ML;
Wed, 05 Jan 2000 11:42:02 +0100 wenzelm ObtainFun;
Tue, 05 Oct 1999 15:34:54 +0200 wenzelm outer_lex.ML loaded in Thy;
Fri, 01 Oct 1999 20:40:03 +0200 wenzelm added Isar/obtain.ML;
Fri, 16 Jul 1999 22:22:02 +0200 wenzelm structure LocalDefs = LocalDefs;
Fri, 09 Jul 1999 18:48:54 +0200 wenzelm added Isar/local_defs.ML;
Fri, 02 Jul 1999 19:04:32 +0200 wenzelm skip_proof feature 'sorry' (for quick_and_dirty mode only);
Sat, 05 Jun 1999 20:27:53 +0200 wenzelm renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
Fri, 04 Jun 1999 19:53:27 +0200 wenzelm added calculation.ML;
Sat, 15 May 1999 16:15:54 +0200 wenzelm tuned;
Fri, 30 Apr 1999 18:04:42 +0200 wenzelm added Isar/comment.ML;
Thu, 11 Mar 1999 12:32:40 +0100 wenzelm moved Thy/session.ML to Isar/session.ML;
Fri, 05 Feb 1999 21:02:17 +0100 wenzelm tuned;
Tue, 24 Nov 1998 11:59:50 +0100 wenzelm added isar.ML;
Mon, 16 Nov 1998 10:44:55 +0100 wenzelm structure PureIsar;
Mon, 09 Nov 1998 15:30:46 +0100 wenzelm Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
less more (0) tip