| Thu, 02 Sep 1999 15:22:15 +0200 | wenzelm | with_path; | changeset | files |
| Thu, 02 Sep 1999 15:21:36 +0200 | wenzelm | renamed improper method 'clarsimp' to 'clarsimp_tac'; | changeset | files |
| Wed, 01 Sep 1999 21:46:01 +0200 | wenzelm | added MultisetOrder.thy; | changeset | files |