thys/turing_basic.thy
Wed, 23 Jan 2013 08:01:35 +0100 Christian Urban small updates
less more (0) -10 -1 tip