0 | ||| A module reexporting various theorems 1 | module Theory 2 | 3 | import public Theory.General 4 | import public Theory.List 5 | import public Theory.List1 6 | import public Theory.Tuple 7 |