| Fri, 21 Dec 2001 00:44:35 +0100 | wenzelm | updated; | changeset | files |
| Fri, 21 Dec 2001 00:43:58 +0100 | wenzelm | removed Types/records.tex; | changeset | files |
| Fri, 21 Dec 2001 00:40:52 +0100 | wenzelm | added add_fixes: derives mssing type scheme from mixfix; | changeset | files |
| Fri, 21 Dec 2001 00:40:16 +0100 | wenzelm | fixed inst_thm: proper domain of env; | changeset | files |
| 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 |
| 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 |