Wed, 03 Mar 2010 17:08:41 +0100 |
wenzelm |
proper names for types cfun, sprod, ssum (cf. fa231b86cb1e);
|
file |
diff |
annotate
|
Tue, 02 Mar 2010 23:56:13 +0100 |
wenzelm |
proper antiquotations;
|
file |
diff |
annotate
|
Thu, 23 Jul 2009 23:12:21 +0200 |
wenzelm |
more @{theory} antiquotations;
|
file |
diff |
annotate
|
Wed, 15 Jul 2009 23:48:21 +0200 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Thu, 14 Jul 2005 19:28:25 +0200 |
wenzelm |
removed mk_prodT, mk_not (cf. HOL/hologic.ML);
|
file |
diff |
annotate
|
Sat, 11 Jun 2005 22:15:48 +0200 |
wenzelm |
refer to name spaces values instead of names;
|
file |
diff |
annotate
|
Mon, 21 Jun 2004 10:25:57 +0200 |
kleing |
Merged in license change from Isabelle2004
|
file |
diff |
annotate
|
Sat, 03 Nov 2001 01:41:26 +0100 |
wenzelm |
GPLed;
|
file |
diff |
annotate
|
Tue, 04 Nov 1997 17:12:13 +0100 |
wenzelm |
HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;
|
file |
diff |
annotate
|