Fri, 30 Oct 2009 13:59:51 +0100 | haftmann | dedicated theory for loading numeral simprocs | file | diff | annotate |
Sat, 17 Oct 2009 00:52:37 +0200 | wenzelm | explicitly qualify Drule.standard; | file | diff | annotate |
Thu, 23 Jul 2009 23:12:21 +0200 | wenzelm | more @{theory} antiquotations; | file | diff | annotate |
Tue, 02 Jun 2009 16:52:37 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
Mon, 11 May 2009 15:57:29 +0200 | haftmann | qualified names for Lin_Arith tactics and simprocs | file | diff | annotate |
Fri, 08 May 2009 09:48:07 +0200 | haftmann | modules numeral_simprocs, nat_numeral_simprocs; proper structures for numeral simprocs | file | diff | annotate | base |