Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Wed, 07 May 2008 10:59:29 +0200 | berghofe | - Declared subset_eq as code lemma | file | diff | annotate |
Mon, 17 Mar 2008 22:34:26 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
Thu, 10 Jan 2008 19:09:21 +0100 | berghofe | New interface for test data generators. | file | diff | annotate |
Mon, 10 Dec 2007 11:24:12 +0100 | haftmann | switched import from Main to List | file | diff | annotate |
Fri, 24 Aug 2007 14:14:20 +0200 | haftmann | overloaded definitions accompanied by explicit constants | file | diff | annotate |
Thu, 19 Jul 2007 21:47:39 +0200 | haftmann | uniform naming conventions for CG theories | file | diff | annotate |