Wrong commit undone.

diff --git a/helm/gTopLevel/eliminationTactics.cmi b/helm/gTopLevel/eliminationTactics.cmi
deleted file mode 100644 (file)
index 6283bd6..0000000
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 (file)
index 4cf93fd..0000000
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 (file)
index ad369ef..0000000
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 (file)
index 645ab0f..0000000
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 (file)
index e2d2827..0000000
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 (file)
index 7686b7d..0000000
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 (file)
index 957cd31..0000000
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 (file)
index bf2bb17..0000000
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 (file)
index 0f67a41..0000000
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 (file)
index 2bb6540..0000000
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 (file)
index bb90342..0000000
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 (file)
index 2c872a7..0000000
Binary files a/helm/gTopLevel/negationTactics.o and /dev/null differ