src/HOL/Import/mono_seq.ML
Fri, 17 Feb 2006 03:30:50 +0100 obua use monomorphic sequences / scanners
less more (0) tip