Thu, 08 Dec 1994 16:07:12 +0100 leI: added comment
lcp [Thu, 08 Dec 1994 16:07:12 +0100] rev 772
leI: added comment
Thu, 08 Dec 1994 15:37:28 +0100 lt_eq_pred, Ord_iso_implies_eq: new, for Kunens Theorem 7.3
lcp [Thu, 08 Dec 1994 15:37:28 +0100] rev 771
lt_eq_pred, Ord_iso_implies_eq: new, for Kunens Theorem 7.3
Thu, 08 Dec 1994 15:07:48 +0100 sum_ss: deleted because it conflicts with the one in Sum.ML
lcp [Thu, 08 Dec 1994 15:07:48 +0100] rev 770
sum_ss: deleted because it conflicts with the one in Sum.ML
Thu, 08 Dec 1994 14:38:58 +0100 not_well_ord_iso_pred: removed needless quantifier
lcp [Thu, 08 Dec 1994 14:38:58 +0100] rev 769
not_well_ord_iso_pred: removed needless quantifier
Thu, 08 Dec 1994 14:18:31 +0100 UN_upper_cardinal: updated to refer to Card_le_imp_lepoll
lcp [Thu, 08 Dec 1994 14:18:31 +0100] rev 768
UN_upper_cardinal: updated to refer to Card_le_imp_lepoll and lepoll_imp_Card_le
Thu, 08 Dec 1994 14:06:16 +0100 sum_lepoll_self, cadd_le_self, prod_lepoll_self,
lcp [Thu, 08 Dec 1994 14:06:16 +0100] rev 767
sum_lepoll_self, cadd_le_self, prod_lepoll_self, cmult_le_self, sum_lepoll_mono, cadd_le_mono, prod_lepoll_mono, cmult_le_mono, InfCard_cmult_eq, cmult_2: new well_ord_lepoll_imp_le: renamed to well_ord_lepoll_imp_Card_le
Thu, 08 Dec 1994 13:53:28 +0100 le_imp_lepoll: renamed to Card_le_imp_lepoll
lcp [Thu, 08 Dec 1994 13:53:28 +0100] rev 766
le_imp_lepoll: renamed to Card_le_imp_lepoll lepoll_imp_le: renamed to lepoll_imp_Card_le; updated to refer to well_ord_lepoll_imp_Card_le
Thu, 08 Dec 1994 13:38:13 +0100 Card_cardinal_le: new
lcp [Thu, 08 Dec 1994 13:38:13 +0100] rev 765
Card_cardinal_le: new
Thu, 08 Dec 1994 12:46:25 +0100 changed Pure's grammar and the way types are converted to nonterminals
clasohm [Thu, 08 Dec 1994 12:46:25 +0100] rev 764
changed Pure's grammar and the way types are converted to nonterminals
Thu, 08 Dec 1994 12:45:28 +0100 replaced type_syn by pure_syn in Pure signature
clasohm [Thu, 08 Dec 1994 12:45:28 +0100] rev 763
replaced type_syn by pure_syn in Pure signature
(0) -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip