Mon, 09 Oct 2006 02:20:09 +0200 |
wenzelm |
PureThy.note_thmss_i;
|
file |
diff |
annotate
|
Sat, 05 Aug 2006 14:52:57 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 27 Jan 2006 19:03:02 +0100 |
wenzelm |
moved theorem tags from Drule to PureThy;
|
file |
diff |
annotate
|
Sat, 21 Jan 2006 23:02:14 +0100 |
wenzelm |
simplified type attribute;
|
file |
diff |
annotate
|
Thu, 19 Jan 2006 21:22:08 +0100 |
wenzelm |
setup: theory -> theory;
|
file |
diff |
annotate
|
Sat, 14 Jan 2006 17:14:06 +0100 |
wenzelm |
sane ERROR handling;
|
file |
diff |
annotate
|
Fri, 16 Dec 2005 09:00:11 +0100 |
haftmann |
re-arranged tuples (theory * 'a) to ('a * theory) in Pure
|
file |
diff |
annotate
|
Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
Thu, 01 Sep 2005 22:15:12 +0200 |
wenzelm |
curried_lookup/update;
|
file |
diff |
annotate
|
Tue, 16 Aug 2005 13:42:26 +0200 |
wenzelm |
OuterKeyword;
|
file |
diff |
annotate
|
Fri, 17 Jun 2005 18:33:05 +0200 |
wenzelm |
accomodate change of TheoryDataFun;
|
file |
diff |
annotate
|
Wed, 13 Apr 2005 18:45:25 +0200 |
wenzelm |
*** MESSAGE REFERS TO PREVIOUS VERSION ***
|
file |
diff |
annotate
|
Wed, 13 Apr 2005 18:34:22 +0200 |
wenzelm |
*** empty log message ***
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Sun, 11 Jul 2004 20:33:22 +0200 |
wenzelm |
local_cla/simpset_of;
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Tue, 12 Feb 2002 20:28:27 +0100 |
wenzelm |
got rid of explicit marginal comments (now stripped earlier from input);
|
file |
diff |
annotate
|
Fri, 11 Jan 2002 00:35:03 +0100 |
wenzelm |
IsarThy.theorems_i;
|
file |
diff |
annotate
|
Sat, 29 Dec 2001 18:35:27 +0100 |
wenzelm |
'inductive_cases': support 'and' form;
|
file |
diff |
annotate
|
Wed, 28 Nov 2001 00:46:26 +0100 |
wenzelm |
theory data: removed obsolete finish method;
|
file |
diff |
annotate
|
Tue, 13 Nov 2001 22:20:15 +0100 |
wenzelm |
Generic inductive cases facility for (co)inductive definitions.
|
file |
diff |
annotate
|