blob: 4554a843050c474f7bf8c49cd52d053fe1959697 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Print Tables.
Print ML Path.
Print ML Modules.
Print LoadPath.
Print Graph.
Print Coercions.
Print Classes.
Print nat.
Print Proof O.
Print All.
Print Grammar constr constr.
Inspect 10.
Section A.
Coercion f := [x]True : nat -> Prop.
Print Coercion Paths nat SORTCLASS.
Print Section A.
Print.
|
