| Mon, 06 May 2002 09:42:20 +0200 | nipkow | Added insert_disjoint and disjoint_insert [simp], and simplified proofs | changeset | files |
| Sat, 04 May 2002 15:47:21 +0200 | berghofe | Added skeletons to speed up rewriting on proof terms. | changeset | files |
| Tue, 30 Apr 2002 13:00:29 +0200 | kleing | tuned | changeset | files |
| Tue, 30 Apr 2002 12:15:48 +0200 | kleing | physical location of isabelle repository is now sunbroy2 | changeset | files |
| Mon, 29 Apr 2002 16:45:12 +0200 | prensani | added abstract;corrected RG_Basic Hoare rule. | changeset | files |
| Mon, 29 Apr 2002 11:30:15 +0200 | nipkow | Better compiler proof | changeset | files |