| Thu, 20 Oct 2016 10:26:29 +0200 | simplify handling of theorems | file | diff | annotate |
| Thu, 21 Nov 2013 18:12:17 +0100 | Isabelle2013 --> 2013-1: Test_Isac perfect | file | diff | annotate |
| Sat, 21 May 2011 12:52:59 +0200 | intermed. ctxt .. FINISHED | file | diff | annotate |
| Sat, 21 May 2011 09:54:39 +0200 | tuned | file | diff | annotate |
| Sat, 21 May 2011 09:30:36 +0200 | tuned | file | diff | annotate |
| Fri, 20 May 2011 13:43:25 +0200 | intermed. ctxt ..: generate1..Check_Postcond..(*map str2term asm*) | file | diff | annotate |
| Fri, 20 May 2011 07:24:18 +0200 | tuned | file | diff | annotate |
| Wed, 18 May 2011 11:58:48 +0200 | intermed. ctxt ..: calculation x+1=2 goes through | file | diff | annotate |
| Tue, 17 May 2011 17:54:58 +0200 | tuned | file | diff | annotate |
| Tue, 17 May 2011 15:02:43 +0200 | tuned | file | diff | annotate |