From: Claudio Sacerdoti Coen Date: Fri, 13 Dec 2002 10:02:28 +0000 (+0000) Subject: Wrong commit undone. X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=630fe1c8b95a138aa1701b4936085cbd01a13d9b;p=helm.git Wrong commit undone. --- diff --git a/helm/gTopLevel/eliminationTactics.cmi b/helm/gTopLevel/eliminationTactics.cmi deleted file mode 100644 index 6283bd6b3..000000000 Binary files a/helm/gTopLevel/eliminationTactics.cmi and /dev/null differ diff --git a/helm/gTopLevel/eliminationTactics.cmx b/helm/gTopLevel/eliminationTactics.cmx deleted file mode 100644 index 4cf93fd85..000000000 Binary files a/helm/gTopLevel/eliminationTactics.cmx and /dev/null differ diff --git a/helm/gTopLevel/eliminationTactics.o b/helm/gTopLevel/eliminationTactics.o deleted file mode 100644 index ad369ef75..000000000 Binary files a/helm/gTopLevel/eliminationTactics.o and /dev/null differ diff --git a/helm/gTopLevel/equalityTactics.cmi b/helm/gTopLevel/equalityTactics.cmi deleted file mode 100644 index 645ab0f51..000000000 Binary files a/helm/gTopLevel/equalityTactics.cmi and /dev/null differ diff --git a/helm/gTopLevel/equalityTactics.cmx b/helm/gTopLevel/equalityTactics.cmx deleted file mode 100644 index e2d282757..000000000 Binary files a/helm/gTopLevel/equalityTactics.cmx and /dev/null differ diff --git a/helm/gTopLevel/equalityTactics.o b/helm/gTopLevel/equalityTactics.o deleted file mode 100644 index 7686b7d23..000000000 Binary files a/helm/gTopLevel/equalityTactics.o and /dev/null differ diff --git a/helm/gTopLevel/introductionTactics.cmi b/helm/gTopLevel/introductionTactics.cmi deleted file mode 100644 index 957cd311a..000000000 Binary files a/helm/gTopLevel/introductionTactics.cmi and /dev/null differ diff --git a/helm/gTopLevel/introductionTactics.cmx b/helm/gTopLevel/introductionTactics.cmx deleted file mode 100644 index bf2bb17cf..000000000 Binary files a/helm/gTopLevel/introductionTactics.cmx and /dev/null differ diff --git a/helm/gTopLevel/introductionTactics.o b/helm/gTopLevel/introductionTactics.o deleted file mode 100644 index 0f67a4174..000000000 Binary files a/helm/gTopLevel/introductionTactics.o and /dev/null differ diff --git a/helm/gTopLevel/negationTactics.cmi b/helm/gTopLevel/negationTactics.cmi deleted file mode 100644 index 2bb6540d2..000000000 Binary files a/helm/gTopLevel/negationTactics.cmi and /dev/null differ diff --git a/helm/gTopLevel/negationTactics.cmx b/helm/gTopLevel/negationTactics.cmx deleted file mode 100644 index bb9034294..000000000 Binary files a/helm/gTopLevel/negationTactics.cmx and /dev/null differ diff --git a/helm/gTopLevel/negationTactics.o b/helm/gTopLevel/negationTactics.o deleted file mode 100644 index 2c872a7df..000000000 Binary files a/helm/gTopLevel/negationTactics.o and /dev/null differ