src/FOLP/ex/Intro.thy
Sun, 27 Jan 2008 20:04:32 +0100 wenzelm eliminated some legacy ML files;
less more (0) tip