Tue, 18 Sep 2007 18:53:12 +0200 | ballarin | Transitivity reasoner set up for locales order and linorder. | file | diff | annotate |
Fri, 24 Aug 2007 14:14:18 +0200 | haftmann | moved class dense_linear_order to Orderings.thy | file | diff | annotate |
Wed, 15 Aug 2007 12:52:56 +0200 | paulson | ATP blacklisting is now in theory data, attribute noatp | file | diff | annotate |
Tue, 24 Jul 2007 15:20:45 +0200 | haftmann | using class target | 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, 19 Jun 2007 23:15:23 +0200 | wenzelm | tuned; | file | diff | annotate |
Tue, 05 Jun 2007 19:23:09 +0200 | haftmann | tuned boostrap | file | diff | annotate |