Tue, 24 Aug 2010 12:18:27 +0200 | trial on organizing dependencies, not successful | 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 |