isabelle: src/HOLCF/Up2.thy@6e20cc79bde6 (annotated)

2278 d63ffafce255 * empty log message * oheimb parents: diff changeset	1	(* Title: HOLCF/Up2.thy
d63ffafce255 * empty log message * oheimb parents: diff changeset	2	ID: $Id$
d63ffafce255 * empty log message * oheimb parents: diff changeset	3	Author: Franz Regensburger
d63ffafce255 * empty log message * oheimb parents: diff changeset	4
d63ffafce255 * empty log message * oheimb parents: diff changeset	5	Class Instance u::(pcpo)po
d63ffafce255 * empty log message * oheimb parents: diff changeset	6	*)
d63ffafce255 * empty log message * oheimb parents: diff changeset	7
d63ffafce255 * empty log message * oheimb parents: diff changeset	8	Up2 = Up1 +
d63ffafce255 * empty log message * oheimb parents: diff changeset	9
2640 ee4dfce170a0 Changes of HOLCF from Oscar Slotosch: slotosch parents: 2278 diff changeset	10	instance u :: (pcpo)po (refl_less_up,antisym_less_up,trans_less_up)
2278 d63ffafce255 * empty log message * oheimb parents: diff changeset	11
d63ffafce255 * empty log message * oheimb parents: diff changeset	12	end
d63ffafce255 * empty log message * oheimb parents: diff changeset	13
d63ffafce255 * empty log message * oheimb parents: diff changeset	14
d63ffafce255 * empty log message * oheimb parents: diff changeset	15