src/HOL/Real/ex/BinEx.thy
Wed, 22 Sep 1999 21:04:34 +0200 wenzelm proper theory setup for Real/ex/BinEx;
less more (0) tip