Import BUtil also with, for the definition of class Num Nat
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 10 Sep 2010 14:40:57 +0000 (14:40 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 10 Sep 2010 14:40:57 +0000 (14:40 +0000)
commitbe91a74651fe2735d9014b310ccf0a2186dd10b9
treeec22369322b7dc991324e8ea6c290aa97a2aa526
parent873db2b84906f522ab86dcacfe18cd39b5ffe18d
Import BUtil also with, for the definition of class Num Nat
SemSyn.hs