| Mon, 26 Feb 2007 23:18:24 +0100 |
wenzelm |
moved eq_thm etc. to structure Thm in Pure/more_thm.ML;
|
file |
diff |
annotate
|
| Fri, 03 Feb 2006 23:12:28 +0100 |
wenzelm |
canonical member/insert/merge;
|
file |
diff |
annotate
|
| Wed, 11 Jan 2006 00:11:05 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Tue, 13 Sep 2005 22:19:35 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2005 16:07:21 +0200 |
wenzelm |
improved Net interface;
|
file |
diff |
annotate
|
| Tue, 21 Jun 2005 09:35:32 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
| Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
| Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
| Fri, 19 Mar 2004 10:42:38 +0100 |
paulson |
Removing the datatype declaration of "order" allows the standard General.order
|
file |
diff |
annotate
|
| Tue, 07 May 2002 14:26:32 +0200 |
wenzelm |
use eq_thm_prop instead of slightly inadequate eq_thm;
|
file |
diff |
annotate
|
| Wed, 05 Dec 2001 03:18:03 +0100 |
wenzelm |
removed unused functionality (weight etc.);
|
file |
diff |
annotate
|
| Sat, 24 Nov 2001 16:59:44 +0100 |
wenzelm |
Library.gen_merge_lists';
|
file |
diff |
annotate
|
| Mon, 15 Oct 2001 20:33:05 +0200 |
wenzelm |
support weight;
|
file |
diff |
annotate
|
| Thu, 04 Oct 2001 23:27:42 +0200 |
wenzelm |
Thm.major_prem_of part of Logic.strip_assums_concl;
|
file |
diff |
annotate
|
| Fri, 05 May 2000 22:09:41 +0200 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
| Fri, 31 Mar 2000 21:55:51 +0200 |
wenzelm |
fixed indexing of elim rules;
|
file |
diff |
annotate
|
| Sun, 27 Feb 2000 15:07:53 +0100 |
wenzelm |
added Isar/net_rules.ML;
|
file |
diff |
annotate
|