# HG changeset patch
# User paulson
# Date 924611687 -7200
# Node ID c97d8058157220b7da280f7140de257f8640da5a
# Parent  6a1b393ccdc0b02746cb345cad47d7ba0787b39a
should not refer to Datatype

diff -r 6a1b393ccdc0 -r c97d80581572 src/HOL/Lambda/Lambda.thy
--- 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