| Sun, 13 Jun 1999 13:54:34 +0200 | paulson | renamed pfix_[lg}e | changeset | files |
| Sun, 13 Jun 1999 13:53:33 +0200 | paulson | new-style infix directives | changeset | files |
| Sun, 13 Jun 1999 13:52:50 +0200 | paulson | guarantees -> guar | changeset | files |
| Sun, 13 Jun 1999 13:52:26 +0200 | paulson | guarantees -> juar | changeset | files |
| Fri, 11 Jun 1999 17:14:00 +0200 | nipkow | rev=rev lemma. | changeset | files |
| Fri, 11 Jun 1999 10:35:55 +0200 | paulson | fixed title line; added spacing | changeset | files |
| Fri, 11 Jun 1999 10:34:20 +0200 | paulson | no longer needs ../Lex | changeset | files |
| Fri, 11 Jun 1999 10:33:43 +0200 | paulson | new UNITY files | changeset | files |
| Thu, 10 Jun 1999 16:46:59 +0200 | nipkow | unclosed comment. | changeset | files |
| Thu, 10 Jun 1999 12:36:19 +0200 | paulson | The Allocator example: specifications | changeset | files |
| Thu, 10 Jun 1999 10:50:19 +0200 | paulson | expandshort | changeset | files |
| Thu, 10 Jun 1999 10:41:36 +0200 | paulson | many new lemmas about take & drop, incl the famous take-lemma | changeset | files |
| Thu, 10 Jun 1999 10:40:57 +0200 | paulson | moved predicates refl, sym down to Relation.thy | changeset | files |
| Thu, 10 Jun 1999 10:39:38 +0200 | paulson | Always_LeadsTo_pre. Always_LeadsTo_post: new equivalences suggested by Misra | changeset | files |
| Thu, 10 Jun 1999 10:38:41 +0200 | paulson | using the new GenPrefix theory | changeset | files |
| Thu, 10 Jun 1999 10:38:11 +0200 | paulson | shortened Follows to Fols | changeset | files |