thys/turing_basic.thy
Sat, 19 Jan 2013 12:45:14 +0000 Christian Urban updated before_final
Fri, 18 Jan 2013 23:59:33 +0000 Christian Urban slight update
less more (0) -2 tip