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 |