Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Wed, 12 Mar 2008 17:29:09 +0100 | haftmann | dropped dangerous antiquotation | file | diff | annotate |
Wed, 12 Mar 2008 08:47:35 +0100 | haftmann | better improvement in instantiation target | file | diff | annotate |
Wed, 12 Mar 2008 08:45:51 +0100 | haftmann | *** empty log message *** | file | diff | annotate |
Fri, 07 Mar 2008 16:46:57 +0100 | haftmann | added Option_ord.thy | file | diff | annotate |