src/Pure/ML-Systems/polyml_common.ML
Thu, 06 Mar 2008 20:17:50 +0100 wenzelm common setup for system_out/system;
Thu, 06 Mar 2008 19:21:26 +0100 wenzelm rearrangements to make latest Poly/ML the default, not old 4.x;
less more (0) tip