Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
Wed, 03 Oct 2001 20:54:16 +0200 | wenzelm | tuned parentheses in relational expressions; | file | diff | annotate |
Mon, 25 Jun 2001 15:36:55 +0200 | paulson | Simprocs for type "nat" no longer introduce numerals unless | file | diff | annotate |
Thu, 31 May 2001 20:52:51 +0200 | wenzelm | tuned | file | diff | annotate |
Thu, 31 May 2001 16:53:00 +0200 | oheimb | added FOCUS including the One-Element Buffer by Manfred Broy | file | diff | annotate |