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