Sat, 12 Aug 2000 21:42:51 +0200 |
documented the integers and updated section on nat arithmetic
|
file | diff | annotate |
Wed, 16 Feb 2000 10:51:23 +0100 |
fixed some overfull lines
|
file | diff | annotate |
Fri, 28 May 1999 11:42:07 +0200 |
tuned manual.bib;
|
file | diff | annotate |
Wed, 05 May 1999 16:44:42 +0200 |
Now uses manual.bib; some references updated
|
file | diff | annotate |
Wed, 03 Feb 1999 14:02:49 +0100 |
documented typecheck_tac, etc
|
file | diff | annotate |
Tue, 19 Jan 1999 12:56:27 +0100 |
freeness reasoning: T.free_iffs
|
file | diff | annotate |
Tue, 19 Jan 1999 11:18:11 +0100 |
removal of the (thm list) argument of mk_cases
|
file | diff | annotate |
Wed, 13 Jan 1999 16:36:36 +0100 |
the separate FOL and ZF logics manual, with new material on datatypes and
|
file | diff | annotate |