Thu, 26 Nov 1998 12:18:08 +0100 | nipkow | Added filter_prems_tac | changeset | files |
Wed, 25 Nov 1998 20:55:25 +0100 | wenzelm | removed prs / prs_fn; | changeset | files |
Wed, 25 Nov 1998 15:55:00 +0100 | paulson | guarantees laws | changeset | files |
Wed, 25 Nov 1998 15:54:41 +0100 | paulson | simplified ensures_UNIV | changeset | files |
Wed, 25 Nov 1998 15:53:31 +0100 | paulson | new thms for invariant | changeset | files |
Wed, 25 Nov 1998 15:53:04 +0100 | paulson | new theorem program_equalityE | changeset | files |
Wed, 25 Nov 1998 15:52:45 +0100 | paulson | renamed vars | changeset | files |