--- a/src/ZF/List.thy Tue Jun 21 16:26:34 1994 +0200 +++ b/src/ZF/List.thy Tue Jun 21 17:20:34 1994 +0200 @@ -1,3 +1,3 @@ (*Dummy theory to document dependencies *) -list = Univ + "Datatype" + "intr_elim" +List = Univ + "Datatype" + "intr_elim"