X-Git-Url: http://colo12-c703.uibk.ac.at/git/?p=G%C3%B6del%27s%20incompleteness%20theorem%2F.git;a=blobdiff_plain;f=make.ml;fp=make.ml;h=acbacd1d01bc0797eaf6199fcbb258d071fb58af;hp=0000000000000000000000000000000000000000;hb=87defde679eb7f7eb6d8f7203472a6f6a8ab2966;hpb=67928fe38836205ca8d0705b3695186e998e3e29

diff --git a/make.ml b/make.ml
new file mode 100644
index 0000000..acbacd1
--- /dev/null
+++ b/make.ml
@@ -0,0 +1,24 @@
+prioritize_num();;
+
+(* ------------------------------------------------------------------------- *)
+(* Some additional mathematical background.                                  *)
+(* ------------------------------------------------------------------------- *)
+
+loadt "Library/rstc.ml";;
+loadt "Library/prime.ml";;
+
+(* ------------------------------------------------------------------------- *)
+(* The basics of first order logic and our inference system.                 *)
+(* ------------------------------------------------------------------------- *)
+
+loadt "Arithmetic/fol.ml";;
+loadt "Arithmetic/derived.ml";;
+
+(* ------------------------------------------------------------------------- *)
+(* The incompleteness results.                                               *)
+(* ------------------------------------------------------------------------- *)
+
+loadt "Arithmetic/definability.ml";;
+loadt "Arithmetic/tarski.ml";;
+loadt "Arithmetic/arithprov.ml";;
+loadt "Arithmetic/godel.ml";;