Tutorial/Tutorial4.thy
Mon, 05 Mar 2012 16:27:28 +0000 Christian Urban updated tutorial to latest version and added it to the tests
Tue, 25 Jan 2011 02:51:44 +0900 Cezary Kaliszyk merge
Tue, 25 Jan 2011 02:46:05 +0900 Cezary Kaliszyk minor
Sat, 22 Jan 2011 18:59:48 -0600 Christian Urban cleaning up
Sat, 22 Jan 2011 12:46:01 -0600 Christian Urban better version of Tutorial 1
Fri, 21 Jan 2011 22:23:44 +0100 Christian Urban separated type preservation and progress into a separate file
Fri, 21 Jan 2011 21:58:51 +0100 Christian Urban added unbind example
Thu, 20 Jan 2011 23:19:30 +0100 Christian Urban first split of tutorrial theory
less more (0) tip