Wed, 25 Aug 2010 15:15:01 +0200 | dependencies of isac files clarified in test | file | diff | annotate |
Tue, 24 Aug 2010 11:46:09 +0200 | start of (re-?)organizing dependencies between isac's files | file | diff | annotate |
Mon, 23 Aug 2010 17:10:57 +0200 | updated Typefis.thy, removed Float*, Complex* (already in Isabelle2009-2) | file | diff | annotate |
Thu, 12 Aug 2010 11:02:32 +0200 | moved isac + test to final dire-structure | file | diff | annotate |