19980310 
oheimb 
19980310 
renamed is_chain to chain, is_tord to tord, replaced chain_finite by chfin

file  diff  annotate 
19971010 
wenzelm 
19971010 
fixed dots;

file  diff  annotate 
19970525 
slotosch 
19970525 
eliminated the constant less by the introduction of the axclass sq_ord
added explicit type ::'a::po in the following theorems:
minimal2UU,antisym_less_inverse,box_less,not_less2not_eq,monofun_pair
and dist_eqI (in domainpackage)
added instances
instance fun :: (term,sq_ord)sq_ord
instance ">" :: (term,sq_ord)sq_ord
instance "**" :: (sq_ord,sq_ord)sq_ord
instance "*" :: (sq_ord,sq_ord)sq_ord
instance "++" :: (pcpo,pcpo)sq_ord
instance u :: (sq_ord)sq_ord
instance lift :: (term)sq_ord
instance discr :: (term)sq_ord

file  diff  annotate 
19970325 
slotosch 
19970325 
changed continuous functions from pcpo to cpo (including instances)

file  diff  annotate 
19960206 
clasohm 
19960206 
expanded tabs

file  diff  annotate 
19951006 
regensbu 
19951006 
added 8bit pragmas
added directory ax_ops for sections axioms and ops
added directory domain for sections domain and generated
this is the type definition package of David Oheimb

file  diff  annotate 
19950629 
regensbu 
19950629 
The curried version of HOLCF is now just called HOLCF. The old
uncurried version is no longer supported

file  diff  annotate 
19950621 
clasohm 
19950621 
removed \...\ inside strings

file  diff  annotate 
19940119 
nipkow 
19940119 
Franz Regensburger's HigherOrder Logic of Computable Functions embedding LCF
in HOL.

file  diff  annotate 