From 07c8ffdb6364aece263dc86174703190a5236dc4 Mon Sep 17 00:00:00 2001 From: herbelin Date: Fri, 18 Feb 2005 22:17:50 +0000 Subject: Moving centralised discharge into dispatched discharge_function; required to delay some computation from before to after caching time + various simplifications and uniformisations git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6749 85f007b7-540e-0410-9357-904b9bb8a0f7 --- toplevel/recordobj.ml | 10 ---------- toplevel/recordobj.mli | 10 ---------- 2 files changed, 20 deletions(-) delete mode 100755 toplevel/recordobj.ml delete mode 100755 toplevel/recordobj.mli diff --git a/toplevel/recordobj.ml b/toplevel/recordobj.ml deleted file mode 100755 index 4c1e2210a0..0000000000 --- a/toplevel/recordobj.ml +++ /dev/null @@ -1,10 +0,0 @@ -(************************************************************************) -(* v * The Coq Proof Assistant / The Coq Development Team *) -(*