Wed, 02 Jul 2008 07:11:57 +0200 | haftmann | cleaned up some code generator configuration | file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |
Mon, 17 Mar 2008 22:34:27 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
Mon, 03 Mar 2008 15:37:16 +0100 | haftmann | tuned | file | diff | annotate |
Mon, 25 Feb 2008 11:27:27 +0100 | chaieb | A library for univariate polynomials -- generalizes old Hyperreal/Poly.thy from reals to locales | file | diff | annotate |