Tue, 19 Jul 2005 20:47:01 +0200 | wenzelm | Inttab.defined; | changeset | files |
Tue, 19 Jul 2005 20:47:00 +0200 | wenzelm | some structured proofs on completeness; | changeset | files |
Tue, 19 Jul 2005 20:46:59 +0200 | wenzelm | more contribs; | changeset | files |