Mon, 17 Nov 2008 17:00:55 +0100 | haftmann | tuned unfold_locales invocation | file | diff | annotate |
Fri, 10 Oct 2008 06:45:53 +0200 | haftmann | `code func` now just `code` | file | diff | annotate |
Mon, 07 Jul 2008 08:47:17 +0200 | haftmann | absolute imports of HOL/*.thy theories | file | diff | annotate |
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 |