diff options
Diffstat (limited to 'Test.hs')
-rw-r--r-- | Test.hs | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -1,8 +1,8 @@ import Test.HUnit -import Command -import TypeVar -import Term -import Theorem +import Library.Command +import Library.TypeVar +import Library.Term +import LibraryTheorem import qualified Data.Set as Set |