diff options
| author | herbelin | 2013-04-17 18:33:16 +0000 |
|---|---|---|
| committer | herbelin | 2013-04-17 18:33:16 +0000 |
| commit | 9b24b6d763bb2c7975cd2b93364d7647fd660598 (patch) | |
| tree | bc4733a59179e67274c9c82ac18db28b2e9d4a23 /test-suite/output/SearchPattern.out | |
| parent | 248e7beca97c073d0f5a2f937d77f2c4d8c805df (diff) | |
Renaming SearchAbout into Search and Search into SearchHead.
I hope I did not forget any place to change.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16423 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'test-suite/output/SearchPattern.out')
| -rw-r--r-- | test-suite/output/SearchPattern.out | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/test-suite/output/SearchPattern.out b/test-suite/output/SearchPattern.out index d546f84daa..6595302e13 100644 --- a/test-suite/output/SearchPattern.out +++ b/test-suite/output/SearchPattern.out @@ -1,32 +1,32 @@ -false: bool true: bool -xorb: bool -> bool -> bool +false: bool +andb: bool -> bool -> bool orb: bool -> bool -> bool -negb: bool -> bool implb: bool -> bool -> bool -andb: bool -> bool -> bool -S: nat -> nat +xorb: bool -> bool -> bool +negb: bool -> bool O: nat +S: nat -> nat +length: forall A : Type, list A -> nat pred: nat -> nat plus: nat -> nat -> nat mult: nat -> nat -> nat minus: nat -> nat -> nat -min: nat -> nat -> nat max: nat -> nat -> nat -length: forall A : Type, list A -> nat +min: nat -> nat -> nat S: nat -> nat pred: nat -> nat plus: nat -> nat -> nat mult: nat -> nat -> nat minus: nat -> nat -> nat -min: nat -> nat -> nat max: nat -> nat -> nat +min: nat -> nat -> nat mult_n_Sm: forall n m : nat, n * m + n = n * S m -le_n: forall n : nat, n <= n identity_refl: forall (A : Type) (a : A), identity a a -eq_refl: forall (A : Type) (x : A), x = x iff_refl: forall A : Prop, A <-> A +eq_refl: forall (A : Type) (x : A), x = x +le_n: forall n : nat, n <= n pair: forall A B : Type, A -> B -> A * B conj: forall A B : Prop, A -> B -> A /\ B |