src/HOL/Import/Generate-HOL/GenHOL4Base.thy
Sat, 24 Sep 2005 16:43:41 +0200 obua HOL4-Import: map ONTO to Fun.surj
Wed, 21 Sep 2005 18:04:49 +0200 wenzelm new header syntax;
less more (0) -2 tip