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 |
Wed, 12 Aug 1998 16:21:18 +0200 | oheimb | the splitter is now defined as a functor | changeset | files |