Tutorial/Tutorial4.thy
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