src/HOL/Prolog/Func.thy
changeset 35301 90e42f9ba4d1
parent 35265 3fd8c3edf639
child 36319 8feb2c4bef1a
     1.1 --- a/src/HOL/Prolog/Func.thy	Mon Feb 22 11:13:30 2010 +0100
     1.2 +++ b/src/HOL/Prolog/Func.thy	Mon Feb 22 15:53:18 2010 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Untyped functional language, with call by value semantics *}
     1.5  
     1.6  theory Func
     1.7 -imports HOHH Algebras
     1.8 +imports HOHH
     1.9  begin
    1.10  
    1.11  typedecl tm