File: Print.v

package info (click to toggle)
coq 8.20.1%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 44,116 kB
  • sloc: ml: 234,160; sh: 4,301; python: 3,270; ansic: 2,644; makefile: 882; lisp: 172; javascript: 63; xml: 24; sed: 2
file content (20 lines) | stat: -rw-r--r-- 289 bytes parent folder | download | duplicates (5) 
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 Term O.
Print All.
Print Grammar constr.
Inspect 10.

Section A.
Coercion f (x : nat) : Prop := True.
Print Coercion Paths nat Sortclass.

Print Section A.

End A.