Tue, 16 Jul 2002 18:37:56 +0200 |
wenzelm |
tuned order of modules;
|
file |
diff |
annotate
|
Mon, 25 Feb 2002 20:46:09 +0100 |
wenzelm |
clarify module dependencies;
|
file |
diff |
annotate
|
Tue, 12 Feb 2002 20:35:35 +0100 |
wenzelm |
eliminated Pure/Isar/comment.ML;
|
file |
diff |
annotate
|
Mon, 03 Dec 2001 21:31:55 +0100 |
wenzelm |
renamed rule_context.ML to context_rules.ML;
|
file |
diff |
annotate
|
Thu, 29 Nov 2001 01:49:44 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 26 Nov 2001 23:24:27 +0100 |
wenzelm |
added Pure/Isar/rule_context.ML;
|
file |
diff |
annotate
|
Mon, 22 Oct 2001 18:02:21 +0200 |
wenzelm |
rearrange sources for locales;
|
file |
diff |
annotate
|
Wed, 03 Oct 2001 21:01:53 +0200 |
wenzelm |
Isar/induct_attrib.ML;
|
file |
diff |
annotate
|
Fri, 03 Nov 2000 21:25:10 +0100 |
wenzelm |
structure Obtain = Obtain;
|
file |
diff |
annotate
|
Sun, 25 Jun 2000 23:47:47 +0200 |
wenzelm |
added Isar/antiquote.ML, Isar/isar_output.ML, Isar/thy_header.ML;
|
file |
diff |
annotate
|
Fri, 05 May 2000 22:09:41 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Wed, 08 Mar 2000 17:51:29 +0100 |
wenzelm |
added rule_cases.ML;
|
file |
diff |
annotate
|
Sun, 27 Feb 2000 15:07:53 +0100 |
wenzelm |
added Isar/net_rules.ML;
|
file |
diff |
annotate
|
Wed, 05 Jan 2000 11:42:02 +0100 |
wenzelm |
ObtainFun;
|
file |
diff |
annotate
|
Tue, 05 Oct 1999 15:34:54 +0200 |
wenzelm |
outer_lex.ML loaded in Thy;
|
file |
diff |
annotate
|
Fri, 01 Oct 1999 20:40:03 +0200 |
wenzelm |
added Isar/obtain.ML;
|
file |
diff |
annotate
|
Fri, 16 Jul 1999 22:22:02 +0200 |
wenzelm |
structure LocalDefs = LocalDefs;
|
file |
diff |
annotate
|
Fri, 09 Jul 1999 18:48:54 +0200 |
wenzelm |
added Isar/local_defs.ML;
|
file |
diff |
annotate
|
Fri, 02 Jul 1999 19:04:32 +0200 |
wenzelm |
skip_proof feature 'sorry' (for quick_and_dirty mode only);
|
file |
diff |
annotate
|
Sat, 05 Jun 1999 20:27:53 +0200 |
wenzelm |
renamed object_logic.ML to Isar/auto_bind.ML and tuned this module;
|
file |
diff |
annotate
|
Fri, 04 Jun 1999 19:53:27 +0200 |
wenzelm |
added calculation.ML;
|
file |
diff |
annotate
|
Sat, 15 May 1999 16:15:54 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 30 Apr 1999 18:04:42 +0200 |
wenzelm |
added Isar/comment.ML;
|
file |
diff |
annotate
|
Thu, 11 Mar 1999 12:32:40 +0100 |
wenzelm |
moved Thy/session.ML to Isar/session.ML;
|
file |
diff |
annotate
|
Fri, 05 Feb 1999 21:02:17 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 24 Nov 1998 11:59:50 +0100 |
wenzelm |
added isar.ML;
|
file |
diff |
annotate
|
Mon, 16 Nov 1998 10:44:55 +0100 |
wenzelm |
structure PureIsar;
|
file |
diff |
annotate
|
Mon, 09 Nov 1998 15:30:46 +0100 |
wenzelm |
Isar -- Intelligible Semi-Automated Reasoning for Isabelle.
|
file |
diff |
annotate
|