| #
66281660 |
|
26-May-2016 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
56730d74 |
|
06-Oct-2015 |
wenzelm <none@none> |
fewer aliases for toplevel theorem statements;
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
52bca335 |
|
23-Apr-2010 |
wenzelm <none@none> |
mark schematic statements explicitly;
|
| #
836163e7 |
|
22-Feb-2010 |
haftmann <none@none> |
distributed theory Algebras to theories Groups and Lattices
|
| #
ddf0d094 |
|
19-Feb-2010 |
haftmann <none@none> |
dropped reference to type classes
|
| #
7b3a0878 |
|
28-Jan-2010 |
haftmann <none@none> |
new theory Algebras.thy for generic algebraic structures
|
| #
daa3e3e2 |
|
20-Nov-2006 |
wenzelm <none@none> |
HOL-Prolog: converted legacy ML scripts;
|
| #
6a6e7c0c |
|
26-Sep-2006 |
haftmann <none@none> |
renamed 0 and 1 to HOL.zero and HOL.one respectivly; introduced corresponding syntactic classes
|
| #
7f339854 |
|
07-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
| #
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
| #
242acfe5 |
|
11-Jun-2002 |
oheimb <none@none> |
added the usual file headers
|
| #
543684e4 |
|
01-Dec-2001 |
wenzelm <none@none> |
renamed class "term" to "type" (actually "HOL.type");
|
| #
644183ca |
|
01-Jun-2000 |
oheimb <none@none> |
added HOL/Prolog
|