| Fri, 21 Mar 2014 10:45:03 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 18 Mar 2014 16:44:51 +0100 | wenzelm | clarified module arrangement; | file | diff | annotate |
| Sat, 15 Mar 2014 11:59:18 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 24 Feb 2014 14:58:40 +0100 | wenzelm | prefer standard Proof_Context.transfer, with theory stamp transfer (should now work thanks to purely functional theory, without Theory.copy etc.); | file | diff | annotate |
| Tue, 30 Jul 2013 15:09:25 +0200 | wenzelm | type theory is purely value-oriented; | file | diff | annotate |
| Sun, 30 Jun 2013 11:30:16 +0200 | wenzelm | just one alternative proof syntax, which also works for Proof_Syntax.pretty_proof/Proof_Syntax.read_proof roundtrip; | file | diff | annotate |
| Sun, 16 Oct 2011 18:48:30 +0200 | wenzelm | added Term.dummy_pattern conveniences; | file | diff | annotate |