| Fri, 07 May 2010 16:12:26 +0200 | haftmann | renamed Normalizer to the more specific Semiring_Normalizer | file | diff | annotate |
| Thu, 06 May 2010 23:37:07 +0200 | haftmann | xsymbolized | file | diff | annotate |
| Thu, 06 May 2010 17:59:19 +0200 | haftmann | dropped duplicate comp_arith | file | diff | annotate |
| Thu, 06 May 2010 16:32:20 +0200 | haftmann | dropped auxiliary method sring_norm; integrated normalizer.ML and normalizer_data.ML | file | diff | annotate |
| Fri, 23 Apr 2010 23:35:43 +0200 | wenzelm | mark schematic statements explicitly; | file | diff | annotate |
| Wed, 29 Apr 2009 14:20:26 +0200 | haftmann | farewell to class recpower | file | diff | annotate |
| Tue, 18 Mar 2008 20:33:33 +0100 | wenzelm | tuned proof; | file | diff | annotate |