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 |