Index of /ftp/hvg/hol88/contrib/wordn/help/ENTRIES

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]define_word_partition.doc1992-12-04 12:51 1.0K 
[ ]define_wordn_bit_ops.doc1992-12-04 12:52 1.3K 
[ ]define_wordn_type.doc1992-12-04 12:51 175  
[ ]define_wordn_val.doc1992-12-04 12:51 2.1K 
[ ]new_wordn_definition.doc1992-12-04 12:51 2.0K 
[ ]prove_BITS_WORD.doc1992-12-04 12:51 762  
[ ]prove_BITS_one_one.doc1992-12-04 12:51 167  
[ ]prove_BITS_onto.doc1992-12-04 12:51 161  
[ ]prove_LENGTH_BITS_thm.doc1992-12-04 12:51 173  
[ ]prove_NWORD_MOD.doc1992-12-04 12:51 743  
[ ]prove_WORD_one_one.doc1992-12-04 12:51 167  
[ ]prove_WORD_onto.doc1992-12-04 12:51 161  
[ ]prove_bit_op_thms.doc1992-12-04 12:51 1.3K 
[ ]prove_function_defn_thm.doc1992-12-04 12:51 177  
[ ]prove_word_val.doc1992-12-04 12:51 933  
[ ]prove_wordn_cases_thm.doc1992-12-04 12:51 173  
[ ]prove_wordn_const_cases.doc1992-12-04 12:51 785  
[ ]prove_wordn_induction_thm.doc1992-12-04 12:51 181  
[ ]template1992-12-04 12:51 117  
[ ]use_wordn.doc1992-12-04 12:51 2.1K 
[ ]wordn_CASES_TAC.doc1992-12-04 12:51 1.7K 
[ ]wordn_CONV.doc1992-12-04 12:51 375  
[ ]wordn_EQ_CONV.doc1992-12-04 12:51 549  
[ ]wordn_NVAL_CONV.doc1992-12-04 12:51 807  
[ ]wordn_NWORD_CONV.doc1992-12-04 12:51 950  
[ ]wordn_X_CASES_TAC.doc1992-12-04 12:51 1.9K 
[ ]wordn_bit_ops.doc1992-12-04 12:51 1.4K 
Apache/2.4.52 (Ubuntu) Server at www.cl.cam.ac.uk Port 443