X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskProgrammingLanguage.v;h=8aba304b1db806a7232b6d5c362c5ca71f959e4c;hp=9801168b39defa4237b66296b750f7224975b89a;hb=a3592b805c570883fd63a5c75d6e16ea83f2e849;hpb=94ad996f571e3c9fd622bc56d9b57118a7e5333a

diff --git a/src/HaskProgrammingLanguage.v b/src/HaskProgrammingLanguage.v
index 9801168..8aba304 100644
--- a/src/HaskProgrammingLanguage.v
+++ b/src/HaskProgrammingLanguage.v
@@ -27,7 +27,8 @@ Require Import Coherence_ch7_8.
 
 Require Import HaskKinds.
 Require Import HaskCoreTypes.
-Require Import HaskLiteralsAndTyCons.
+Require Import HaskLiterals.
+Require Import HaskTyCons.
 Require Import HaskStrongTypes.
 Require Import HaskProof.
 Require Import NaturalDeduction.