| Fri, 07 Oct 2005 20:41:10 +0200 | nipkow | changes due to new neq_simproc in simpdata.ML | file | diff | annotate |
| Thu, 21 Apr 2005 17:22:23 +0200 | nipkow | fix | file | diff | annotate |
| Wed, 20 Apr 2005 17:19:42 +0200 | nipkow | Used locale interpretations everywhere. -> lemma had new name | file | diff | annotate |