Wed, 03 May 1995 16:10:41 +0200 | lcp | trivial change | changeset | files |
Wed, 03 May 1995 15:33:40 +0200 | lcp | Covers wrapper tacticals: setwrapper, ..., addss | changeset | files |
Wed, 03 May 1995 15:25:30 +0200 | clasohm | fixed bug in thy_unchanged that occurred when the .thy file was changed | changeset | files |
Wed, 03 May 1995 15:06:41 +0200 | lcp | Changed definitions so that qsplit is now defined in terms of | changeset | files |
Wed, 03 May 1995 14:54:43 +0200 | lcp | Modified proofs for (q)split, fst, snd for new | changeset | files |
Wed, 03 May 1995 14:41:36 +0200 | lcp | Changed some definitions and proofs to use pattern-matching. | changeset | files |