Mon, 08 Dec 1997 20:29:49 +0100 | wenzelm | \subsection{*Theory inclusion}; | changeset | files |
Mon, 08 Dec 1997 13:57:19 +0100 | paulson | Tidying to fix overfull lines, etc | changeset | files |
Mon, 08 Dec 1997 13:56:49 +0100 | paulson | Comprehensive (??) list of bugs, fixed or not | changeset | files |
Sun, 07 Dec 1997 16:09:55 +0100 | wenzelm | tuned; | changeset | files |
Sun, 07 Dec 1997 16:05:36 +0100 | wenzelm | added print_claset; | changeset | files |
Sat, 06 Dec 1997 17:06:21 +0100 | nipkow | Replaced Fib(Suc n)~=0 by 0<Fib(Suc(n)). | changeset | files |