| Thu, 11 Nov 1999 12:23:45 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 11 Nov 1999 11:58:51 +0100 | wenzelm | with_path; | changeset | files |
| Thu, 11 Nov 1999 11:43:14 +0100 | nipkow | Imported Conny's lemmas from MicroJava | changeset | files |
| Thu, 11 Nov 1999 11:29:11 +0100 | wenzelm | clean target; | changeset | files |
| Thu, 11 Nov 1999 11:27:31 +0100 | wenzelm | header; | changeset | files |
| Thu, 11 Nov 1999 10:25:29 +0100 | paulson | tidied | changeset | files |
| Thu, 11 Nov 1999 10:25:17 +0100 | paulson | new-style infix declaration for "image" | changeset | files |
| Thu, 11 Nov 1999 10:24:14 +0100 | paulson | Fixed obsolete use of "op ^^"; new lemma | changeset | files |