package info
(click to toggle)
hol88 2.02.19940316-15
- links: PTS
- area: main
- in suites: wheezy
- size: 65,928 kB
- sloc: ml: 199,939; ansic: 9,666; sh: 7,118; makefile: 6,075; lisp: 2,747; yacc: 894; sed: 201; cpp: 87; awk: 5
Folder: internals
 |
.. (parent) | |||
 |
- | rw-r--r-- | 160 | Andalso%27.doc |
|
- | rw-r--r-- | 132 | Conc%27.doc |
|
- | rw-r--r-- | 126 | Conc.doc |
|
- | rw-r--r-- | 145 | Contains.doc |
|
- | rw-r--r-- | 145 | Has_body.doc |
|
- | rw-r--r-- | 137 | HypF%27.doc |
|
- | rw-r--r-- | 131 | HypF.doc |
|
- | rw-r--r-- | 137 | HypP%27.doc |
|
- | rw-r--r-- | 131 | HypP.doc |
|
- | rw-r--r-- | 128 | Kind%27.doc |
|
- | rw-r--r-- | 122 | Kind.doc |
|
- | rw-r--r-- | 160 | Match.doc |
|
- | rw-r--r-- | 123 | Match_null.doc |
|
- | rw-r--r-- | 143 | Matches.doc |
|
- | rw-r--r-- | 117 | Nomatch.doc |
|
- | rw-r--r-- | 133 | Not%27.doc |
|
- | rw-r--r-- | 158 | Orelse%27.doc |
|
- | rw-r--r-- | 135 | Side%27.doc |
|
- | rw-r--r-- | 129 | Side.doc |
|
- | rw-r--r-- | 150 | Test1term.doc |
|
- | rw-r--r-- | 151 | Test1type.doc |
|
- | rw-r--r-- | 221 | Test2terms.doc |
|
- | rw-r--r-- | 223 | Test2types.doc |
|
- | rw-r--r-- | 138 | Thmname%27.doc |
|
- | rw-r--r-- | 132 | Thmname.doc |
|
- | rw-r--r-- | 140 | Thryname%27.doc |
|
- | rw-r--r-- | 134 | Thryname.doc |
|
- | rw-r--r-- | 156 | Where%27.doc |
|
- | rw-r--r-- | 229 | approms.doc |
|
- | rw-r--r-- | 144 | autonamepattern.doc |
|
- | rw-r--r-- | 142 | autotermpattern.doc |
|
- | rw-r--r-- | 138 | bool_to_rom.doc |
|
- | rw-r--r-- | 159 | containsfn.doc |
|
- | rw-r--r-- | 136 | dest_binder.doc |
|
- | rw-r--r-- | 133 | do_once_only.doc |
|
- | rw-r--r-- | 149 | flatten_paths.doc |
|
- | rw-r--r-- | 136 | get_boundvars.doc |
|
- | rw-r--r-- | 130 | get_consts.doc |
|
- | rw-r--r-- | 134 | get_freevars.doc |
|
- | rw-r--r-- | 150 | get_ids.doc |
|
- | rw-r--r-- | 136 | get_primtypes.doc |
|
- | rw-r--r-- | 142 | get_primvartypes.doc |
|
- | rw-r--r-- | 140 | get_theorems.doc |
|
- | rw-r--r-- | 128 | get_types.doc |
|
- | rw-r--r-- | 127 | is_primtype.doc |
|
- | rw-r--r-- | 135 | is_subset.doc |
|
- | rw-r--r-- | 256 | join.doc |
|
- | rw-r--r-- | 153 | join_matchings.doc |
|
- | rw-r--r-- | 176 | make_full_namepattern.doc |
|
- | rw-r--r-- | 180 | make_full_termpattern.doc |
|
- | rw-r--r-- | 150 | make_matching.doc |
|
- | rw-r--r-- | 170 | make_namepattern.doc |
|
- | rw-r--r-- | 205 | make_termpattern.doc |
|
- | rw-r--r-- | 137 | make_wildchar.doc |
|
- | rw-r--r-- | 135 | make_wildtype.doc |
|
- | rw-r--r-- | 132 | make_wildvar.doc |
|
- | rw-r--r-- | 242 | match_internal_term.doc |
|
- | rw-r--r-- | 147 | match_of_type.doc |
|
- | rw-r--r-- | 144 | match_of_var.doc |
|
- | rw-r--r-- | 206 | match_term.doc |
|
- | rw-r--r-- | 147 | match_type.doc |
|
- | rw-r--r-- | 150 | merge.doc |
|
- | rw-r--r-- | 140 | namematch.doc |
|
- | rw-r--r-- | 119 | no_rep.doc |
|
- | rw-r--r-- | 122 | null_matching.doc |
|
- | rw-r--r-- | 136 | prim_subtypes.doc |
|
- | rw-r--r-- | 239 | remove_bv.doc |
|
- | rw-r--r-- | 129 | remove_rep.doc |
|
- | rw-r--r-- | 138 | rom_to_bool.doc |
|
- | rw-r--r-- | 152 | searchseq.doc |
|
- | rw-r--r-- | 212 | show_full_matching.doc |
|
- | rw-r--r-- | 176 | show_full_namepattern.doc |
|
- | rw-r--r-- | 180 | show_full_termpattern.doc |
|
- | rw-r--r-- | 204 | show_matching.doc |
|
- | rw-r--r-- | 170 | show_namepattern.doc |
|
- | rw-r--r-- | 205 | show_termpattern.doc |
|
- | rw-r--r-- | 151 | show_thmpattern.doc |
|
- | rw-r--r-- | 137 | show_wildchar.doc |
|
- | rw-r--r-- | 135 | show_wildtype.doc |
|
- | rw-r--r-- | 132 | show_wildvar.doc |
|
- | rw-r--r-- | 129 | side.doc |
|
- | rw-r--r-- | 131 | strip_binders.doc |
|
- | rw-r--r-- | 126 | subtypes.doc |
|
- | rw-r--r-- | 155 | thmfilter.doc |
|
- | rw-r--r-- | 139 | thmmatch.doc |
|
- | rw-r--r-- | 112 | wildchar1.doc |
|
- | rw-r--r-- | 112 | wildcharn.doc |
|
- | rw-r--r-- | 143 | wildtypelist.doc |
|
- | rw-r--r-- | 140 | wildvarlist.doc |