changeset 34974 | 18b41bba42b5 |
parent 21425 | c11ab38b78a7 |
child 35265 | 3fd8c3edf639 |
--- a/src/HOL/Prolog/Func.thy Thu Jan 28 11:48:43 2010 +0100 +++ b/src/HOL/Prolog/Func.thy Thu Jan 28 11:48:49 2010 +0100 @@ -1,12 +1,11 @@ (* Title: HOL/Prolog/Func.thy - ID: $Id$ Author: David von Oheimb (based on a lecture on Lambda Prolog by Nadathur) *) header {* Untyped functional language, with call by value semantics *} theory Func -imports HOHH +imports HOHH Algebras begin typedecl tm