Thu, 12 Sep 1996 18:12:09 +0200 added flat_eq,
oheimb [Thu, 12 Sep 1996 18:12:09 +0200] rev 1992
added flat_eq, renamed adm_disj_lemma11 to adm_lemma11, localized adm_disj_lemma1, ..., adm_disj_lemma10, adm_disj_lemma12, modularized proof of admI
Thu, 12 Sep 1996 18:05:33 +0200 renamed adm_disj_lemma11 to adm_lemma11
oheimb [Thu, 12 Sep 1996 18:05:33 +0200] rev 1991
renamed adm_disj_lemma11 to adm_lemma11
Thu, 12 Sep 1996 17:28:06 +0200 added comment on is_flat
oheimb [Thu, 12 Sep 1996 17:28:06 +0200] rev 1990
added comment on is_flat
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip