| Wed, 02 Jan 2008 15:14:24 +0100 | haftmann | some more antiquotations | file | diff | annotate |
| Tue, 18 Sep 2007 16:08:00 +0200 | wenzelm | simplified type int (eliminated IntInf.int, integer); | file | diff | annotate |
| Sat, 15 Sep 2007 19:27:35 +0200 | haftmann | fixed title | file | diff | annotate |
| Thu, 16 Aug 2007 21:52:07 +0200 | wenzelm | removed dead code; | file | diff | annotate |
| 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 |