src/ZF/ex/integ.thy
1993-10-05 lcp 1993-10-05 Modification of examples for the new operators, < and le.
1993-09-16 clasohm 1993-09-16 Initial revision