Stuff moved from old Matita.

[helm.git] / matita / components / binaries / matitaprover / casc_2008

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