src/Tools/atomize_elim.ML
Sat, 28 Feb 2009 14:09:58 +0100 wenzelm removed Ids;
Mon, 14 Jul 2008 17:02:55 +0200 krauss renamed conversions to _conv, tuned
Tue, 08 Apr 2008 20:09:54 +0200 krauss added missing file
less more (0) tip