Mon, 05 Aug 2002 14:32:56 +0200 | berghofe | Replaced nat_ind_tac by induct_tac. | file | diff | annotate |
Wed, 03 Oct 2001 20:54:16 +0200 | wenzelm | tuned parentheses in relational expressions; | 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 |