Thu, 20 Dec 2001 21:11:04 +0100 |
wenzelm |
turned into proper Isabelle document;
|
file |
diff |
annotate
|
Thu, 06 Dec 2001 16:05:06 +0100 |
paulson |
replaced record_split by the cases method
|
file |
diff |
annotate
|
Thu, 06 Dec 2001 13:00:25 +0100 |
paulson |
record extend and truncate
|
file |
diff |
annotate
|
Mon, 12 Nov 2001 10:56:38 +0100 |
paulson |
new-style numerals without leading #, along with generic 0 and 1
|
file |
diff |
annotate
|
Thu, 25 Oct 2001 22:59:11 +0200 |
wenzelm |
accomodate some recent changes of record package;
|
file |
diff |
annotate
|
Mon, 08 Oct 2001 14:29:02 +0200 |
wenzelm |
fixed numerals;
|
file |
diff |
annotate
|
Tue, 17 Jul 2001 13:46:21 +0200 |
paulson |
tidying the index
|
file |
diff |
annotate
|
Fri, 29 Jun 2001 18:12:18 +0200 |
paulson |
the records section
|
file |
diff |
annotate
|
Fri, 29 Jun 2001 16:59:10 +0200 |
paulson |
for the records section
|
file |
diff |
annotate
|