| 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 |
| Sat, 06 Nov 1999 15:34:12 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 05 Nov 1999 16:41:56 +0100 | paulson | tidied | changeset | files |
| Fri, 05 Nov 1999 12:47:29 +0100 | paulson | new psubset lemma | changeset | files |
| Fri, 05 Nov 1999 12:47:15 +0100 | paulson | added foldr | changeset | files |
| Fri, 05 Nov 1999 12:45:37 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | changeset | files |
| Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | changeset | files |
| Wed, 03 Nov 1999 17:52:43 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 03 Nov 1999 17:47:52 +0100 | wenzelm | MUCKE_HOME; | changeset | files |