Christian Urban <urbanc@in.tum.de> [Mon, 09 Jan 2012 10:12:46 +0000] rev 3106
added the simple fixes for the paper
Christian Urban <urbanc@in.tum.de> [Wed, 04 Jan 2012 17:42:16 +0000] rev 3105
added an FCB for res (will not define evry function, but is a good datapoint)
Christian Urban <urbanc@in.tum.de> [Tue, 03 Jan 2012 11:43:27 +0000] rev 3104
updated to explicit set type constructor (post Isabelle 3rd January)
Christian Urban <urbanc@in.tum.de> [Tue, 03 Jan 2012 01:42:10 +0000] rev 3103
proved that generalisation is closed under substitution
Christian Urban <urbanc@in.tum.de> [Mon, 02 Jan 2012 16:13:16 +0000] rev 3102
added definition for generalisation of type schemes (for paper)
Christian Urban <urbanc@in.tum.de> [Thu, 29 Dec 2011 18:05:13 +0000] rev 3101
added two eqvt lemmas for fset-operators
Christian Urban <urbanc@in.tum.de> [Thu, 29 Dec 2011 15:56:54 +0000] rev 3100
separated the two versions of type schemes into two files
Christian Urban <urbanc@in.tum.de> [Thu, 29 Dec 2011 12:40:36 +0000] rev 3099
added notes by referees to comment about our changes
Christian Urban <urbanc@in.tum.de> [Thu, 29 Dec 2011 12:37:38 +0000] rev 3098
made the paper running again
Christian Urban <urbanc@in.tum.de> [Fri, 23 Dec 2011 15:04:01 +0000] rev 3097
included Pi theory in tests
Christian Urban <urbanc@in.tum.de> [Fri, 23 Dec 2011 10:36:34 +0000] rev 3096
added file by Kirstin
Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 13:10:58 +0000] rev 3095
merged
Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 05:15:37 +0000] rev 3094
moved TODO into the paper
Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 04:47:05 +0000] rev 3093
merged
Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 04:46:37 +0000] rev 3092
some slight tuning