thys/uncomputable.thy
Wed, 23 Jan 2013 15:57:35 +0100 Christian Urban tuned
Wed, 23 Jan 2013 15:42:47 +0100 Christian Urban using some abbreviations
less more (0) -10 -2 tip