Fri, 20 Jun 2008 21:00:16 +0200 | haftmann | moved Float.thy to Library | file | diff | annotate |
Tue, 19 Jul 2005 17:28:37 +0200 | wenzelm | isatool fixheaders; | file | diff | annotate |
Wed, 13 Jul 2005 09:53:50 +0200 | obua | - added cplex package to HOL/Matrix | file | diff | annotate |