| 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 |