| Sun, 18 Oct 2015 21:30:01 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Wed, 17 Jun 2015 11:03:05 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | reflection as official HOL tool | file | diff | annotate |
| Sun, 21 Apr 2013 10:41:18 +0200 | haftmann | combined reify_data.ML into reflection.ML; | file | diff | annotate |
| Tue, 26 Mar 2013 20:02:02 +0100 | wenzelm | tuned imports; | file | diff | annotate |
| 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 |