| Thu, 22 Dec 2016 11:36:20 +0100 | renamed Ctree.ptree --> Ctree.ctree | file | diff | annotate |
| Wed, 30 Nov 2016 12:09:24 +0100 | added structure Rtools : REWRITE_TOOLS | file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 | simplify handling of theorems | file | diff | annotate |
| Tue, 18 Oct 2016 12:05:03 +0200 | back-track after desing error in previous changeset | file | diff | annotate |
| Mon, 10 Oct 2016 18:24:14 +0200 | transport terms in theorems to frontend | file | diff | annotate |
| Thu, 21 Nov 2013 11:17:42 +0100 | Isabelle2013 --> 2013-1: remove left-over legacy "uses" "axiom" | file | diff | annotate |
| Sun, 16 Jun 2013 12:31:41 +0200 | Isabelle2011 --> 2012 intermediate | file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 | 2011-->2012: ProofContext-->Proof_Context | file | diff | annotate |
| Wed, 23 Mar 2011 17:20:39 +0100 | make Test_Isac.thy run in jEdit; intermed. | file | diff | annotate |
| Tue, 01 Mar 2011 15:23:59 +0100 | intermed.update to Isabelle2011: test/../syntax added | file | diff | annotate |