Demand more in FutureAnalysisCarrier
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 19 Dec 2014 15:29:47 +0000 (15:29 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 19 Dec 2014 15:29:47 +0000 (15:29 +0000)
commitb1a2fc4d90f7253a94db86d6e3ffab6ca6f28841
tree5724ddd6bd30343219aa8d53de24a63fbc43f054
parent7ae55e32e907139ba0d4cf624de22a4c3226567a
Demand more in FutureAnalysisCarrier
Launchbury/CoCallCardinality.thy
Launchbury/FTreeCardinality.thy