| Sat, 27 Aug 2016 16:57:18 +0200 | improve error messages for writing Isac programs | file | diff | annotate |
| Sat, 27 Aug 2016 09:40:52 +0200 | test for tactic Specify_Method | file | diff | annotate |
| Thu, 21 Nov 2013 18:12:17 +0100 | Isabelle2013 --> 2013-1: Test_Isac perfect | file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 | Test_Isac.thy works until "Interpret/mstools.sml" | file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 | 2011-->2012: ProofContext-->Proof_Context | file | diff | annotate |
| Fri, 20 May 2011 09:12:40 +0200 | intermed. ctxt ..: init_scrstate without precond work | file | diff | annotate |
| Fri, 20 May 2011 08:12:51 +0200 | tuned | file | diff | annotate |
| Thu, 19 May 2011 19:28:22 +0200 | intermed. ctxt ..: add preconds in solve..Apply_Method | file | diff | annotate |
| Fri, 13 May 2011 09:28:38 +0200 | tuned | file | diff | annotate |
| Thu, 12 May 2011 10:00:06 +0200 | added test-sequence with mini_subpbl x+1=2 | file | diff | annotate |