thys/turing_basic.thy
Fri, 18 Jan 2013 23:59:33 +0000 Christian Urban slight update
less more (0) -1 tip