Tue, 06 Feb 2018 16:18:43 +0100 |
Isabelle2015->17: transfer changes from src/ to test/
|
file | diff | annotate |
Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
Mon, 20 Apr 2015 14:18:40 +0200 |
update test/ to Isabelle2014 (~ updates of src/)
|
file | diff | annotate |
Sun, 15 Jun 2014 18:27:23 +0200 |
ad 967c8a1eb6b1 (2,3) thehier: ugly chunk makes Test_Isac run
|
file | diff | annotate |
Fri, 18 Oct 2013 14:36:33 +0200 |
some clean-ups
|
file | diff | annotate |
Mon, 02 Sep 2013 16:16:08 +0200 |
Test_Isac works again, almost ..
|
file | diff | annotate |
Wed, 05 Dec 2012 09:58:28 +0100 |
Test_Isac.thy works until calculate.sml
|
file | diff | annotate |
Sat, 04 Aug 2012 16:42:05 +0200 |
outcommented tests on Unsynchronized.ref
|
file | diff | annotate |
Tue, 20 Mar 2012 15:32:17 +0100 |
intermed. fun the_hier, build thy-hierarchy
|
file | diff | annotate |
Mon, 25 Jul 2011 14:18:08 +0200 |
intermed: update test/../ProgLang
|
file | diff | annotate |
Thu, 28 Oct 2010 09:24:47 +0200 |
intermed. repair thehier, the hierarchy of thy/thm for access by isac.
|
file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 |
moved isac + test to final dire-structure
|
file | diff | annotate |