LFex.thy
Fri, 06 Nov 2009 19:26:08 +0100 Christian Urban updated to new Isabelle version and added a new example file
less more (0) tip