| 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 |