From 5311b1fa064949089b8d17e34eb31a62426f71fd Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Tue, 10 Feb 2015 11:48:19 +0100 Subject: Frontend for the standard version of Coq (still bad computational behavior) --- src/versions/standard/Int63/Int63_standard.v | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/versions/standard/Int63/Int63_standard.v') diff --git a/src/versions/standard/Int63/Int63_standard.v b/src/versions/standard/Int63/Int63_standard.v index 3540b71..1499dd3 100644 --- a/src/versions/standard/Int63/Int63_standard.v +++ b/src/versions/standard/Int63/Int63_standard.v @@ -14,6 +14,12 @@ (* *) (**************************************************************************) + +(** Naive software representation of Int63. To improve. Anyway, if you + want efficiency, rather use native-coq. **) + +Require Export Cyclic63. +Require Export Ring63. Require Export Int63Native. Require Export Int63Op. Require Export Int63Axioms. -- cgit