Delete wrong data.

jessealama · Jan 8, 2013 · 99b03f3 · 99b03f3
1 parent 27d7ca4
commit 99b03f3
Show file tree

Hide file tree

Showing 1,362 changed files with 0 additions and 140,576 deletions.
diff --git a/data/7.13.01-4.181.1147/MPTP2/00allmmlax b/data/7.13.01-4.181.1147/MPTP2/00allmmlax
diff --git a/data/7.13.01-4.181.1147/MPTP2/Makefile b/data/7.13.01-4.181.1147/MPTP2/Makefile
diff --git a/data/7.13.01-4.181.1147/MPTP2/abcmiz_0.lem2 b/data/7.13.01-4.181.1147/MPTP2/abcmiz_0.lem2
diff --git a/data/7.13.01-4.181.1147/MPTP2/abcmiz_1.lem2 b/data/7.13.01-4.181.1147/MPTP2/abcmiz_1.lem2
diff --git a/data/7.13.01-4.181.1147/MPTP2/abcmiz_a.lem2 b/data/7.13.01-4.181.1147/MPTP2/abcmiz_a.lem2
diff --git a/data/7.13.01-4.181.1147/MPTP2/abian.lem2 b/data/7.13.01-4.181.1147/MPTP2/abian.lem2
diff --git a/data/7.13.01-4.181.1147/MPTP2/absvalue.lem2 b/data/7.13.01-4.181.1147/MPTP2/absvalue.lem2
diff --git a/data/7.13.01-4.181.1147/MPTP2/aff_1.lem2 b/data/7.13.01-4.181.1147/MPTP2/aff_1.lem2
diff --git a/data/7.13.01-4.181.1147/MPTP2/aff_2.lem2 b/data/7.13.01-4.181.1147/MPTP2/aff_2.lem2
diff --git a/data/7.13.01-4.181.1147/MPTP2/aff_3.lem2 b/data/7.13.01-4.181.1147/MPTP2/aff_3.lem2