--- a/src/HOLCF/IOA/meta_theory/Abstraction.thy Sat Dec 01 18:51:46 2001 +0100 +++ b/src/HOLCF/IOA/meta_theory/Abstraction.thy Sat Dec 01 18:52:32 2001 +0100 @@ -9,7 +9,7 @@ Abstraction = LiveIOA + -default term +default type consts