src/HOL/ex/Recdefs.ML
Fri, 03 Jul 1998 17:35:39 +0200 wenzelm stepping stones: Recdef, Main;
less more (0) tip