Thu, 02 Sep 1999 15:24:31 +0200 | wenzelm | AddXDs [bspec]; | changeset | files |
Thu, 02 Sep 1999 15:24:00 +0200 | wenzelm | added with_path; | changeset | files |
Thu, 02 Sep 1999 15:23:05 +0200 | wenzelm | terminal method: always involve finish; | changeset | files |
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 |