Thu, 13 Aug 1998 17:43:00 +0200 | paulson | Rule mk_triv_goal for making instances of triv_goal | changeset | files |
Thu, 13 Aug 1998 17:29:18 +0200 | paulson | Blast_tac is faster | changeset | files |
Thu, 13 Aug 1998 17:28:52 +0200 | paulson | stac now handles definitions as well as equalities | changeset | files |
Thu, 13 Aug 1998 17:28:19 +0200 | paulson | stac | changeset | files |
Wed, 12 Aug 1998 17:40:18 +0200 | oheimb | minor adaption for SML/NJ | changeset | files |
Wed, 12 Aug 1998 16:49:25 +0200 | oheimb | added theorems Id_o, o_Id | changeset | files |
Wed, 12 Aug 1998 16:23:25 +0200 | oheimb | cleanup for Fun.thy: | changeset | files |