give HaskWeak its own type representation, fix numerous bugs

[coq-hetmet.git] / src / Main.v

diff --git a/src/Main.v b/src/Main.v
deleted file mode 100644 (file)
index bbadc14..0000000
--- a/src/Main.v
+++ /dev/null
@@ -1,23 +0,0 @@
-Require Import Preamble.
-Require Import General.
-
-Require Import NaturalDeduction.
-Require Import NaturalDeductionToLatex.
-
-Require Import HaskGeneral.
-Require Import HaskLiterals.
-Require Import HaskCoreVars.
-Require Import HaskCoreTypes.
-Require Import HaskCore.
-Require Import HaskWeakVars.
-Require Import HaskWeak.
-Require Import HaskCoreToWeak.
-Require Import HaskStrongTypes.
-Require Import HaskStrong.
-Require Import HaskProof.
-(*Require Import HaskProofToStrong.*)
-(*Require Import HaskStrongToProof.*)
-(*Require Import HaskStrongToWeak.*)
-(*Require Import HaskWeakToStrong.*)
-Require Import HaskWeakToCore.
-Require Import HaskProofToLatex.