diff options
author | 2015-06-28 17:10:21 +0200 | |
---|---|---|
committer | 2015-06-28 17:10:21 +0200 | |
commit | 6f982439294b9b53150c6c5d2fd1025e58d7bcd9 (patch) | |
tree | debf9e53d93b722a871364e06763ddc8b0413bcf /test-suite/output/Notations.out | |
parent | 53dc6613499ca18672cda02697f182eb97cda8dc (diff) | |
parent | 02663c526a3fd347fad803eb664d22e6b5c088ad (diff) |
Merge branch 'v8.5'
Diffstat (limited to 'test-suite/output/Notations.out')
-rw-r--r-- | test-suite/output/Notations.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test-suite/output/Notations.out b/test-suite/output/Notations.out index 6efd671a8..b1558dab1 100644 --- a/test-suite/output/Notations.out +++ b/test-suite/output/Notations.out @@ -70,7 +70,7 @@ FST (0; 1) : Z Nil : forall A : Type, list A -NIL:list nat +NIL : list nat : list nat (false && I 3)%bool /\ I 6 : Prop @@ -78,7 +78,7 @@ NIL:list nat : Z * Z * Z * (Z * Z * Z) [|0 * (1, 2, 3); (4, 5, 6) * false|] : Z * Z * (Z * Z) * (Z * Z) * (Z * bool * (Z * bool) * (Z * bool)) -fun f : Z -> Z -> Z -> Z => {|f; 0; 1; 2|}:Z +fun f : Z -> Z -> Z -> Z => {|f; 0; 1; 2|} : Z : (Z -> Z -> Z -> Z) -> Z Init.Nat.add : nat -> nat -> nat |