Mon, 05 Aug 2002 14:32:56 +0200 | berghofe | Replaced nat_ind_tac by induct_tac. | 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 |