| 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 |
| 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 |
| Thu, 20 Dec 2001 15:57:29 +0100 | paulson | ZF/Main | changeset | files |
| Thu, 20 Dec 2001 15:23:42 +0100 | berghofe | Fixed bug in function add. | changeset | files |