fork for Matita version B

[helm.git] / matitaB / components / binaries / matitaprover / CASC_2008

diff --git a/matitaB/components/binaries/matitaprover/CASC_2008 b/matitaB/components/binaries/matitaprover/CASC_2008
new file mode 100644 (file)
index 0000000..6112a79
--- /dev/null
+++ b/matitaB/components/binaries/matitaprover/CASC_2008
@@ -0,0 +1,80 @@
+BOO007-2.p
+BOO007-4.p
+BOO031-1.p
+BOO034-1.p
+BOO072-1.p
+BOO073-1.p
+BOO076-1.p
+COL003-12.p
+COL003-1.p
+COL003-20.p
+COL006-6.p
+COL011-1.p
+COL037-1.p
+COL038-1.p
+COL043-3.p
+COL044-8.p
+COL046-1.p
+COL049-1.p
+COL057-1.p
+COL060-1.p
+COL061-1.p
+COL063-1.p
+COL064-1.p
+COL065-1.p
+GRP014-1.p
+GRP024-5.p
+GRP114-1.p
+GRP164-2.p
+GRP167-1.p
+GRP178-2.p
+GRP181-4.p
+GRP183-4.p
+GRP184-1.p
+GRP184-3.p
+GRP185-2.p
+GRP185-3.p
+GRP186-1.p
+GRP186-2.p
+GRP187-1.p
+GRP200-1.p
+GRP202-1.p
+GRP404-1.p
+GRP405-1.p
+GRP422-1.p
+GRP423-1.p
+GRP444-1.p
+GRP452-1.p
+GRP453-1.p
+GRP471-1.p
+GRP477-1.p
+GRP506-1.p
+GRP508-1.p
+LAT080-1.p
+LAT087-1.p
+LAT093-1.p
+LAT138-1.p
+LAT140-1.p
+LAT146-1.p
+LAT148-1.p
+LAT152-1.p
+LAT156-1.p
+LAT159-1.p
+LAT164-1.p
+LAT165-1.p
+LAT166-1.p
+LAT169-1.p
+LAT170-1.p
+LAT173-1.p
+LAT175-1.p
+RNG009-7.p
+RNG019-6.p
+RNG019-7.p
+RNG020-6.p
+RNG026-6.p
+RNG027-7.p
+RNG028-9.p
+RNG029-7.p
+RNG035-7.p
+ROB006-1.p
+ROB006-2.p