package info
(click to toggle)
hol88 2.02.19940316-8
- links: PTS
- area: main
- in suites: lenny
- size: 63,120 kB
- ctags: 19,367
- sloc: ml: 199,939; ansic: 9,300; sh: 7,118; makefile: 6,074; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: internals
 |
.. (parent) | |||
 |
- | rw-r--r-- | 150 | A_box.doc |
|
- | rw-r--r-- | 130 | Abs.doc |
|
- | rw-r--r-- | 168 | Bound_child.doc |
|
- | rw-r--r-- | 179 | Bound_children.doc |
|
- | rw-r--r-- | 162 | Bound_name.doc |
|
- | rw-r--r-- | 169 | Bound_names.doc |
|
- | rw-r--r-- | 219 | C_box.doc |
|
- | rw-r--r-- | 173 | Const_name.doc |
|
- | rw-r--r-- | 124 | Default.doc |
|
- | rw-r--r-- | 191 | HV_box.doc |
|
- | rw-r--r-- | 158 | H_box.doc |
|
- | rw-r--r-- | 204 | HoV_box.doc |
|
- | rw-r--r-- | 130 | Inc.doc |
|
- | rw-r--r-- | 121 | Int.doc |
|
- | rw-r--r-- | 175 | L_box.doc |
|
- | rw-r--r-- | 168 | Lex_block.doc |
|
- | rw-r--r-- | 135 | Lex_id.doc |
|
- | rw-r--r-- | 137 | Lex_num.doc |
|
- | rw-r--r-- | 139 | Lex_spec.doc |
|
- | rw-r--r-- | 215 | Link.doc |
|
- | rw-r--r-- | 207 | Link_child.doc |
|
- | rw-r--r-- | 121 | N_box.doc |
|
- | rw-r--r-- | 121 | Nat.doc |
|
- | rw-r--r-- | 129 | No_link.doc |
|
- | rw-r--r-- | 139 | PF.doc |
|
- | rw-r--r-- | 154 | PF_H.doc |
|
- | rw-r--r-- | 187 | PF_HV.doc |
|
- | rw-r--r-- | 189 | PF_HoV.doc |
|
- | rw-r--r-- | 171 | PF_V.doc |
|
- | rw-r--r-- | 189 | PF_branch.doc |
|
- | rw-r--r-- | 128 | PF_empty.doc |
|
- | rw-r--r-- | 149 | PO_constant.doc |
|
- | rw-r--r-- | 296 | PO_context_subcall.doc |
|
- | rw-r--r-- | 153 | PO_expand.doc |
|
- | rw-r--r-- | 151 | PO_format.doc |
|
- | rw-r--r-- | 164 | PO_leaf.doc |
|
- | rw-r--r-- | 266 | PO_subcall.doc |
|
- | rw-r--r-- | 157 | Patt_child.doc |
|
- | rw-r--r-- | 172 | Print_label.doc |
|
- | rw-r--r-- | 220 | Print_link.doc |
|
- | rw-r--r-- | 179 | Print_loop.doc |
|
- | rw-r--r-- | 217 | UB_H.doc |
|
- | rw-r--r-- | 247 | UB_HV.doc |
|
- | rw-r--r-- | 258 | UB_HoV.doc |
|
- | rw-r--r-- | 244 | UB_V.doc |
|
- | rw-r--r-- | 175 | V_box.doc |
|
- | rw-r--r-- | 128 | Val.doc |
|
- | rw-r--r-- | 148 | Var_child.doc |
|
- | rw-r--r-- | 152 | Var_children.doc |
|
- | rw-r--r-- | 169 | Var_name.doc |
|
- | rw-r--r-- | 135 | Wild_child.doc |
|
- | rw-r--r-- | 139 | Wild_children.doc |
|
- | rw-r--r-- | 160 | Wild_name.doc |
|
- | rw-r--r-- | 179 | add_context.doc |
|
- | rw-r--r-- | 182 | build_print_box.doc |
|
- | rw-r--r-- | 178 | change_assocl.doc |
|
- | rw-r--r-- | 233 | convert_PP.doc |
|
- | rw-r--r-- | 196 | copy_chars.doc |
|
- | rw-r--r-- | 194 | generate_ML.doc |
|
- | rw-r--r-- | 143 | hol_term_rules.doc |
|
- | rw-r--r-- | 141 | hol_thm_rules.doc |
|
- | rw-r--r-- | 143 | hol_type_rules.doc |
|
- | rw-r--r-- | 175 | lookup_metavar.doc |
|
- | rw-r--r-- | 395 | max.doc |
|
- | rw-r--r-- | 395 | min.doc |
|
- | rw-r--r-- | 173 | num_of_leading_chars.doc |
|
- | rw-r--r-- | 143 | pp_lang1_rules.doc |
|
- | rw-r--r-- | 158 | pp_lang1_rules_fun.doc |
|
- | rw-r--r-- | 143 | pp_lang2_rules.doc |
|
- | rw-r--r-- | 158 | pp_lang2_rules_fun.doc |
|
- | rw-r--r-- | 147 | print_box_fo.doc |
|
- | rw-r--r-- | 155 | print_box_height.doc |
|
- | rw-r--r-- | 147 | print_box_io.doc |
|
- | rw-r--r-- | 175 | print_box_sizes.doc |
|
- | rw-r--r-- | 186 | print_box_to_strings.doc |
|
- | rw-r--r-- | 153 | print_box_width.doc |
|
- | rw-r--r-- | 134 | print_nat.doc |
|
- | rw-r--r-- | 320 | print_pattern_match.doc |
|
- | rw-r--r-- | 171 | print_rule_fun.doc |
|
- | rw-r--r-- | 316 | print_special_fun.doc |
|
- | rw-r--r-- | 374 | print_tree_to_box.doc |
|
- | rw-r--r-- | 143 | raw_tree_rules.doc |
|
- | rw-r--r-- | 161 | read_PP.doc |
|
- | rw-r--r-- | 326 | read_symb.doc |
|
- | rw-r--r-- | 170 | replace_box_label.doc |
|
- | rw-r--r-- | 159 | string_contains.doc |
|
- | rw-r--r-- | 154 | string_copies.doc |
|
- | rw-r--r-- | 164 | strings_contain.doc |
|
- | rw-r--r-- | 340 | strlen.doc |
|
- | rw-r--r-- | 710 | substr.doc |
|
- | rw-r--r-- | 176 | trim_enclosing_chars.doc |
|
- | rw-r--r-- | 172 | trim_leading_chars.doc |
|
- | rw-r--r-- | 174 | trim_trailing_chars.doc |