Mon, 02 Jun 1997 12:14:15 +0200 | paulson | Now Un_insert_left, Un_insert_right are default rewrite rules | changeset | files |
Mon, 02 Jun 1997 12:13:42 +0200 | paulson | Corrected statement of filter_append; added filter_size | changeset | files |
Mon, 02 Jun 1997 12:12:57 +0200 | paulson | Simplified proof | changeset | files |
Mon, 02 Jun 1997 12:12:27 +0200 | paulson | New theorems le_add_diff_inverse, le_add_diff_inverse2 | changeset | files |
Fri, 30 May 1997 16:37:20 +0200 | mueller | trivial changes to incorporate CTL.thy and Example.ML in html file; | changeset | files |
Fri, 30 May 1997 15:55:27 +0200 | paulson | Simplified the calling sequence of CONTEXT_REWRITE_RULE | changeset | files |