Mon, 12 Dec 2016 18:08:13 +0100 | added structure Chead : CALC_HEAD | file | diff | annotate |
Tue, 22 Nov 2016 10:42:21 +0100 | added structure Math_Engine : MATH_ENGINE | file | diff | annotate |
Mon, 20 Apr 2015 14:18:40 +0200 | update test/ to Isabelle2014 (~ updates of src/) | file | diff | annotate |
Mon, 02 Sep 2013 16:16:08 +0200 | Test_Isac works again, almost .. | file | diff | annotate |
Wed, 13 Jul 2011 10:41:17 +0200 | started student work | file | diff | annotate | base |