| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Mon, 19 Nov 2012 20:23:47 +0100 | wenzelm | theorem status about oracles/futures is no longer printed by default; | file | diff | annotate |
| Sun, 15 May 2011 17:45:53 +0200 | wenzelm | simplified/unified method_setup/attribute_setup; | file | diff | annotate |
| Sat, 16 Apr 2011 16:15:37 +0200 | wenzelm | modernized structure Proof_Context; | file | diff | annotate |
| Thu, 28 Oct 2010 22:39:59 +0200 | wenzelm | moved FOL/ex/Iff_Oracle.thy to HOL/ex where it is more accessible to most readers of isar-ref; | file | diff | annotate | base |