~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to test-suite/output/PrintAssumptions.out

• browse files at revision 6
• compare with another revision
• download diff
• download tarball
• view history from revision 6

Show diffs side-by-side

added

removed

test-suite/output/PrintAssumptions.out

 

1

Axioms:

 

2

foo : nat

 

3

Axioms:

 

4

foo : nat

 

5

Axioms:

 

6

extensionality : forall (P Q : Type) (f g : P -> Q),

 

7

                 (forall x : P, f x = g x) -> f = g

 

8

Axioms:

 

9

extensionality : forall (P Q : Type) (f g : P -> Q),

 

10

                 (forall x : P, f x = g x) -> f = g

 

11

Axioms:

 

12

extensionality : forall (P Q : Type) (f g : P -> Q),

 

13

                 (forall x : P, f x = g x) -> f = g

 

14

Axioms:

 

15

extensionality : forall (P Q : Type) (f g : P -> Q),

 

16

                 (forall x : P, f x = g x) -> f = g

 

17

Closed under the global context

 

18

Closed under the global context

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1