package info
(click to toggle)
hol88 2.02.19940316-33
- links: PTS
- area: main
- in suites: stretch
- size: 65,988 kB
- ctags: 21,623
- sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,095; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: entries
 |
.. (parent) | |||
 |
- | rw-r--r-- | 3,363 | MakeProof.doc |
|
- | rw-r--r-- | 978 | PROVE.doc |
|
- | rw-r--r-- | 1,262 | RecordStep.doc |
|
- | rw-r--r-- | 864 | TAC_PROOF.doc |
|
- | rw-r--r-- | 1,867 | begin_proof.doc |
|
- | rw-r--r-- | 1,340 | close_proof_file.doc |
|
- | rw-r--r-- | 1,414 | current_proof.doc |
|
- | rw-r--r-- | 893 | current_proof_file.doc |
|
- | rw-r--r-- | 1,699 | end_proof.doc |
|
- | rw-r--r-- | 2,100 | get_steps.doc |
|
- | rw-r--r-- | 1,080 | is_recording_proof.doc |
|
- | rw-r--r-- | 1,749 | new_proof_file.doc |
|
- | rw-r--r-- | 1,078 | prove.doc |
|
- | rw-r--r-- | 1,414 | prove_thm.doc |
|
- | rw-r--r-- | 2,176 | record_proof.doc |
|
- | rw-r--r-- | 1,312 | resume_recording.doc |
|
- | rw-r--r-- | 1,492 | suspend_recording.doc |
|
- | rw-r--r-- | 1,292 | write_env.doc |
|
- | rw-r--r-- | 2,199 | write_line.doc |
|
- | rw-r--r-- | 2,268 | write_proof_add_to.doc |
|
- | rw-r--r-- | 2,037 | write_proof_to.doc |
|
- | rw-r--r-- | 1,187 | write_thm_list.doc |