Index of /ftp/hvg/hol88/contrib/wordn/help/ENTRIES
Name
Last modified
Size
Description
Parent Directory
-
define_word_partition.doc
1992-12-04 12:51
1.0K
define_wordn_bit_ops.doc
1992-12-04 12:52
1.3K
define_wordn_type.doc
1992-12-04 12:51
175
define_wordn_val.doc
1992-12-04 12:51
2.1K
new_wordn_definition.doc
1992-12-04 12:51
2.0K
prove_BITS_WORD.doc
1992-12-04 12:51
762
prove_BITS_one_one.doc
1992-12-04 12:51
167
prove_BITS_onto.doc
1992-12-04 12:51
161
prove_LENGTH_BITS_thm.doc
1992-12-04 12:51
173
prove_NWORD_MOD.doc
1992-12-04 12:51
743
prove_WORD_one_one.doc
1992-12-04 12:51
167
prove_WORD_onto.doc
1992-12-04 12:51
161
prove_bit_op_thms.doc
1992-12-04 12:51
1.3K
prove_function_defn_thm.doc
1992-12-04 12:51
177
prove_word_val.doc
1992-12-04 12:51
933
prove_wordn_cases_thm.doc
1992-12-04 12:51
173
prove_wordn_const_cases.doc
1992-12-04 12:51
785
prove_wordn_induction_thm.doc
1992-12-04 12:51
181
template
1992-12-04 12:51
117
use_wordn.doc
1992-12-04 12:51
2.1K
wordn_CASES_TAC.doc
1992-12-04 12:51
1.7K
wordn_CONV.doc
1992-12-04 12:51
375
wordn_EQ_CONV.doc
1992-12-04 12:51
549
wordn_NVAL_CONV.doc
1992-12-04 12:51
807
wordn_NWORD_CONV.doc
1992-12-04 12:51
950
wordn_X_CASES_TAC.doc
1992-12-04 12:51
1.9K
wordn_bit_ops.doc
1992-12-04 12:51
1.4K
Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443