thys/turing_basic.thy
Sat, 19 Jan 2013 12:46:28 +0000 Christian Urban tuned
less more (0) -1 tip