@@ -1,4 +1,4 @@ -module IXi.Tactics where +module IXi.Prelude where import IXi.Tactic import IXi.HOAS ixi/IXi/Prelude.hs @@ -10,4 +10,4 @@ Homepage: http://github.com/luqui/dana Maintainer: lrpalmer@gmail.com Build-Type: Simple Build-Depends: base, transformers, containers -Exposed-Modules: IXi.Term, IXi.Proof, IXi.Helpers, IXi.Conversion +Exposed-Modules: IXi.Term, IXi.Proof, IXi.Helpers, IXi.Conversion, IXi.HOAS, IXi.Prelude, IXi.Sequent, IXi.Tactic ixi/ixi.cabal e61dfc5f29468b017963806808554e493273bb49 Luke Palmer lrpalmer@gmail.com http://github.com/luqui/dana/commit/86f87151bcce9fb81bb201d06f5d49c48b0cdd69 86f87151bcce9fb81bb201d06f5d49c48b0cdd69 2009-06-19T02:46:52-07:00 2009-06-19T02:46:52-07:00 Brought the cabal file up to date. Still a clean build with no extensions :-) 89ec8771225f67bba09e1b0fb34a16a49c23cb2b Luke Palmer lrpalmer@gmail.com