--- a/src/HOL/MicroJava/BV/DFA_err.thy Fri Feb 09 11:40:10 2001 +0100
+++ b/src/HOL/MicroJava/BV/DFA_err.thy Fri Feb 09 16:01:58 2001 +0100
@@ -3,7 +3,6 @@
Author: Gerwin Klein
Copyright 2000 TUM
-static and dynamic welltyping
*)
header "Static and Dynamic Welltyping"