| Fri, 21 Dec 2001 00:38:04 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 20 Dec 2001 21:15:37 +0100 | wenzelm | added lemma; | changeset | files |
| Thu, 20 Dec 2001 21:14:59 +0100 | wenzelm | generated text; | changeset | files |
| Thu, 20 Dec 2001 21:14:42 +0100 | wenzelm | supplanted by Records.thy; | changeset | files |
| Thu, 20 Dec 2001 21:13:36 +0100 | wenzelm | some text; | changeset | files |
| Thu, 20 Dec 2001 21:13:22 +0100 | wenzelm | \usepackage{marvosym}; | changeset | files |
| Thu, 20 Dec 2001 21:12:02 +0100 | wenzelm | document/Records.tex; | changeset | files |