| 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 |
| Thu, 20 Dec 2001 21:11:04 +0100 | wenzelm | turned into proper Isabelle document; | changeset | files |
| Thu, 20 Dec 2001 18:22:44 +0100 | nipkow | renamed rtrancl_into_rtrancl2 to converse_rtrancl_into_rtrancl | changeset | files |
| Thu, 20 Dec 2001 17:08:55 +0100 | berghofe | Eliminated "query" syntax. | changeset | files |
| Thu, 20 Dec 2001 16:53:51 +0100 | nipkow | *** empty log message *** | changeset | files |