src/ZF/ex/Rmap.ML
1993-09-30 lcp ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext
less more (0) tip