| Tue, 31 Jul 2007 00:56:26 +0200 | wenzelm | arith method setup: proper context; | file | diff | annotate |
| Fri, 20 Jul 2007 14:28:25 +0200 | haftmann | moved class ord from Orderings.thy to HOL.thy | file | diff | annotate |
| Tue, 10 Jul 2007 17:30:54 +0200 | haftmann | now works with SML/NJ | file | diff | annotate |
| Tue, 10 Jul 2007 09:23:15 +0200 | haftmann | replaced code generator framework for reflected cooper | file | diff | annotate |
| Thu, 05 Jul 2007 00:06:20 +0200 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Mon, 02 Jul 2007 10:43:19 +0200 | chaieb | Handle exception TYPE | file | diff | annotate |
| Fri, 29 Jun 2007 21:23:05 +0200 | haftmann | tuned arithmetic modules | file | diff | annotate |
| Thu, 28 Jun 2007 19:09:36 +0200 | haftmann | dropped Library.lcm | file | diff | annotate |
| Mon, 25 Jun 2007 00:36:33 +0200 | wenzelm | made type conv pervasive; | file | diff | annotate |
| Thu, 21 Jun 2007 20:48:48 +0200 | wenzelm | moved quantifier elimination tools to Tools/Qelim/; | file | diff | annotate |