[r2005-05-11 20:54:50 by afrisch] Empty log message

Original author: afrisch Date: 2005-05-11 20:54:50+00:00

[r2005-05-11 20:54:50 by afrisch] Empty log message
Original author: afrisch Date: 2005-05-11 20:54:50+00:00
3dfa615d · Pietro Abate · bf89e37c · 3dfa615d · 3dfa615d
Commit 3dfa615d authored Jul 10, 2007 by Pietro Abate
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 283 additions and 408 deletions

misc/bool.ml misc/bool.ml +281 -405

misc/bool.mli misc/bool.mli +2 -3

No files found.
--- a/misc/bool.ml
+++ b/misc/bool.ml
--- a/misc/bool.mli
+++ b/misc/bool.mli
@@ -38,6 +38,5 @@ end

 module MakeBdd(X : Custom.T) : S' with type elem = X.t

-(*
-module Simplify(B : MAKE) : MAKE
-*)
+module Simplify : MAKE
+