Auto_tac: now uses enhanced version of asm_full_simp_tac,
Force_tac: replaced fast_tac by best_tac
(* Title: HOLCF/One.thy
ID: $Id$
Author: Oscar Slotosch
Copyright 1997 Technische Universitaet Muenchen
*)
One = Lift +
types one = unit lift
constdefs
ONE :: "one"
"ONE == Def ()"
translations
"one" <= (type) "unit lift"
end