Fri, 02 Mar 2012 18:26:54 +0100 | haftmann | tuned whitespace | file | diff | annotate |
Fri, 02 Mar 2012 15:18:05 +0100 | haftmann | tuned import | file | diff | annotate |
Thu, 16 Feb 2012 23:07:01 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
Sat, 24 Dec 2011 15:53:09 +0100 | haftmann | tuned proofs | file | diff | annotate |
Sun, 15 May 2011 17:45:53 +0200 | wenzelm | simplified/unified method_setup/attribute_setup; | file | diff | annotate |
Wed, 03 Jun 2009 15:48:54 +0200 | hoelzl | Converted reification to use fold_map instead of Library.foldl_map. Use antiquotations. | file | diff | annotate |
Mon, 16 Mar 2009 18:24:30 +0100 | wenzelm | simplified method setup; | file | diff | annotate |
Fri, 13 Mar 2009 19:58:26 +0100 | wenzelm | unified type Proof.method and pervasive METHOD combinators; | file | diff | annotate |
Wed, 28 Jan 2009 11:04:10 +0100 | haftmann | Reflection.thy now in HOL/Library | file | diff | annotate | base |