--- a/src/HOL/Lambda/Lambda.thy Tue Apr 20 14:33:48 1999 +0200
+++ b/src/HOL/Lambda/Lambda.thy Tue Apr 20 14:34:47 1999 +0200
@@ -7,7 +7,7 @@
substitution and beta-reduction.
*)
-Lambda = Datatype +
+Lambda = Main +
datatype dB = Var nat | "$" dB dB (infixl 200) | Abs dB