Commit 758c1186 by Pietro Abate

### [r2003-03-22 23:08:40 by cvscast] Empty log message

```Original author: cvscast
Date: 2003-03-22 23:08:40+00:00```
parent 8d1c7d8a
 ... @@ -214,7 +214,8 @@ struct ... @@ -214,7 +214,8 @@ struct split x (simplify p [i]) i (simplify n [i]) split x (simplify p [i]) i (simplify n [i]) let rec ( ++ ) a b = let rec ( ++ ) a b = if a == b then a (* if equal a b then a *) if a == b then a else match (a,b) with else match (a,b) with | True, _ | _, True -> True | True, _ | _, True -> True | False, a | a, False -> a | False, a | a, False -> a ... @@ -238,7 +239,8 @@ struct ... @@ -238,7 +239,8 @@ struct is the invariant still inforced ? *) is the invariant still inforced ? *) let rec ( ** ) a b = let rec ( ** ) a b = if a == b then a (* if equal a b then a *) if a == b then a else match (a,b) with else match (a,b) with | True, a | a, True -> a | True, a | a, True -> a | False, _ | _, False -> False | False, _ | _, False -> False ... @@ -268,6 +270,7 @@ struct ... @@ -268,6 +270,7 @@ struct | Split (_,x, p,i,n) -> split x (neg (i ++ p)) False (neg (i ++ n)) | Split (_,x, p,i,n) -> split x (neg (i ++ p)) False (neg (i ++ n)) let rec ( // ) a b = let rec ( // ) a b = (* if equal a b then False *) if a == b then False if a == b then False else match (a,b) with else match (a,b) with | False,_ | _, True -> False | False,_ | _, True -> False ... ...
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!