| Wed, 22 Aug 2012 22:55:41 +0200 | wenzelm | prefer ML_file over old uses; | file | diff | annotate |
| 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 |