HOL html
| Files Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Theorems Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
C (files)
Changing_proof_styleCustom_inference_rules
Custom_tactics
calc_int
calc_num
calc_rat
calc_real
canal
canon
cantor
card
cart
cauchy
cayley_hamilton
ceva
chords
circle
class
clausal_form
clifford
combin
combinations
complex_database
complex_grobner
complex_real
complex_transc
complexes
complexnumbers
condense
condense_thms
cong
constructible
convex
cooper
cosine
counterexample
cpoly
cross
cubic