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 |