src/ZF/OrderArith.thy
1996-02-06 clasohm expanded tabs
1995-12-09 clasohm removed quotes from consts and syntax sections
1995-06-22 clasohm removed \...\ inside strings
1994-11-28 lcp replaced "rules" by "defs"
1994-06-23 lcp modifications for cardinal arithmetic
less more (0) tip