| 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 |