claude

a8b9d234 · MARCHE Claude · 4d92552a · a8b9d234 · a8b9d234
Commit a8b9d234 authored Oct 29, 2010 by MARCHE Claude
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

ROADMAP ROADMAP +1 -1

tests/test-claude.why tests/test-claude.why +1 -1

No files found.
--- a/ROADMAP
+++ b/ROADMAP
@@ -38,7 +38,7 @@
 * Jessie3
 * traceability
 * Coq plugin
-
+* Coq realizations of theories




--- a/tests/test-claude.why
+++ b/tests/test-claude.why
@@ -6,7 +6,7 @@ theory TestInt

   goal Test0_5 : true -> false

-   goal Test1: 2+2 = 4
+   goal Test1: 2+2 = 5

   goal Test2: forall x:int. x*x >= 0