src/HOL/Matrix/Compute_Oracle/am_ghc.ML
Mon, 10 Jan 2011 15:30:17 +0100 wenzelm eliminated obsolete LargeInt -- Int is unbounded;
Wed, 21 Jul 2010 15:44:36 +0200 wenzelm moved src/Tools/Compute_Oracle to src/HOL/Matrix/Compute_Oracle -- it actually depends on HOL anyway;
less more (0) tip