Index of /xml/CoRN/tactics/csetoid_rewrite

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]syntactic_partial_setoid_expressions/2005-07-05 08:13 -  
[ ]forget.con.types.xml.gz2004-11-09 10:20 201  
[ ]tse_int.con.types.xml.gz2004-11-09 10:20 202  
[ ]my_sigT.ind.types.xml.gz2004-11-09 10:20 203  
[ ]cspf_dom.con.types.xml.gz2004-11-09 10:20 204  
[ ]psxe_int.con.types.xml.gz2004-11-09 10:20 205  
[ ]tot_set_exp.ind.types.xml.gz2004-11-09 10:20 207  
[ ]my_sigT_rec.con.types.xml.gz2004-11-09 10:20 209  
[ ]part_set_exp.ind.types.xml.gz2004-11-09 10:20 210  
[ ]my_sigT_rect.con.types.xml.gz2004-11-09 10:20 211  
[ ]proj1_my_sigT.con.types.xml.gz2004-11-09 10:20 214  
[ ]tot_set_exp_rec.con.types.xml.gz2004-11-09 10:20 214  
[ ]CSetoid_part_op.con.types.xml.gz2004-11-09 10:20 215  
[ ]extract_correct.con.types.xml.gz2004-11-09 10:20 215  
[ ]proj2_my_sigT.con.types.xml.gz2004-11-09 10:20 215  
[ ]replace_in_term.con.types.xml.gz2004-11-09 10:20 216  
[ ]tot_set_exp_rect.con.types.xml.gz2004-11-09 10:20 216  
[ ]part_set_exp_rec.con.types.xml.gz2004-11-09 10:20 217  
[ ]part_set_exp_rect.con.types.xml.gz2004-11-09 10:20 218  
[ ]replace_in_term_proof.con.types.xml.gz2004-11-09 10:20 226  
[ ]CSetoid_part_op.con.body.xml.gz2004-11-09 10:20 274  
[ ]CSetoid_part_op.con.xml.gz2004-11-09 10:20 301  
[ ]cspf_wd.con.body.xml.gz2004-11-09 10:20 392  
[ ]cspf_dom.con.body.xml.gz2004-11-09 10:20 396  
[ ]CAnd_proj2.con.xml.gz2004-11-09 10:20 405  
[ ]CAnd_proj1.con.xml.gz2004-11-09 10:20 407  
[ ]cspf_dom_wd.con.body.xml.gz2004-11-09 10:20 407  
[ ]cspf_dom.con.xml.gz2004-11-09 10:20 424  
[ ]pse_int.ind.types.xml.gz2004-11-09 10:20 425  
[ ]proj1_my_sigT.con.xml.gz2004-11-09 10:20 430  
[ ]part_set_xexp.ind.types.xml.gz2004-11-09 10:20 437  
[ ]forget.con.xml.gz2004-11-09 10:20 438  
[ ]part_set_xexp_rec.con.types.xml.gz2004-11-09 10:20 441  
[ ]pse_int_rec.con.types.xml.gz2004-11-09 10:20 443  
[ ]psxe_int.con.body.xml.gz2004-11-09 10:20 451  
[ ]psxe_int.con.xml.gz2004-11-09 10:20 451  
[ ]tse_int.con.xml.gz2004-11-09 10:20 451  
[ ]part_set_exp_rec.con.body.xml.gz2004-11-09 10:20 453  
[ ]part_set_exp_ind.con.body.xml.gz2004-11-09 10:20 454  
[ ]COr_elim.con.xml.gz2004-11-09 10:20 482  
[ ]proj2_my_sigT.con.xml.gz2004-11-09 10:20 502  
[ ]CAnd_proj2.con.types.xml.gz2004-11-09 10:20 510  
[ ]CAnd_proj1.con.types.xml.gz2004-11-09 10:20 512  
[ ]pse_int_rect.con.types.xml.gz2004-11-09 10:20 512  
[ ]extract_correct.con.xml.gz2004-11-09 10:20 518  
[ ]my_sigT_rec.con.body.xml.gz2004-11-09 10:20 524  
[ ]tot_set_exp_ind.con.body.xml.gz2004-11-09 10:20 524  
[ ]tot_set_exp_rec.con.body.xml.gz2004-11-09 10:20 524  
[ ]my_sigT_ind.con.body.xml.gz2004-11-09 10:20 527  
[ ]part_set_xexp_rect.con.types.xml.gz2004-11-09 10:20 527  
[ ]cspf_dom_wd.con.xml.gz2004-11-09 10:20 528  
[ ]part_set_xexp_rec.con.body.xml.gz2004-11-09 10:20 542  
[ ]pse_int_var_inv.con.xml.gz2004-11-09 10:20 544  
[ ]part_set_xexp_ind.con.body.xml.gz2004-11-09 10:20 545  
[ ]pse_int_rec.con.body.xml.gz2004-11-09 10:20 565  
[ ]my_sigT.ind.xml.gz2004-11-09 10:20 567  
[ ]pse_int_ind.con.body.xml.gz2004-11-09 10:20 568  
[ ]pse_int_ext.con.xml.gz2004-11-09 10:20 571  
[ ]replacement_lemma.con.types.xml.gz2004-11-09 10:20 574  
[ ]pse_int_con_inv.con.xml.gz2004-11-09 10:20 586  
[ ]eq_wd.con.xml.gz2004-11-09 10:20 587  
[ ]ap_wd.con.xml.gz2004-11-09 10:20 597  
[ ]CAnd_proj2.con.body.xml.gz2004-11-09 10:20 603  
[ ]CAnd_proj1.con.body.xml.gz2004-11-09 10:20 606  
[ ]COr_elim.con.types.xml.gz2004-11-09 10:20 622  
[ ]cspf_dom_wd.con.types.xml.gz2004-11-09 10:20 630  
[ ]proj1_my_sigT.con.body.xml.gz2004-11-09 10:20 643  
[ ]tse_int_wd.con.xml.gz2004-11-09 10:20 643  
[ ]my_sigT_rect.con.xml.gz2004-11-09 10:20 658  
[ ]my_sigT_rec.con.xml.gz2004-11-09 10:20 659  
[ ]my_sigT_ind.con.xml.gz2004-11-09 10:20 668  
[ ]part_set_exp.ind.xml.gz2004-11-09 10:20 669  
[ ]replace_in_term.con.xml.gz2004-11-09 10:20 680  
[ ]cspf_wd.con.xml.gz2004-11-09 10:20 697  
[ ]ap_wd.con.types.xml.gz2004-11-09 10:20 716  
[ ]csr_wd.con.xml.gz2004-11-09 10:20 722  
[ ]proj2_my_sigT.con.body.xml.gz2004-11-09 10:20 727  
[ ]Ccsr_wd.con.xml.gz2004-11-09 10:20 730  
[ ]eq_wd.con.types.xml.gz2004-11-09 10:20 740  
[ ]COr_elim.con.body.xml.gz2004-11-09 10:20 748  
[ ]replacement_lemma.con.xml.gz2004-11-09 10:20 771  
[ ]pse_int_wd.con.xml.gz2004-11-09 10:20 774  
[ ]my_sigT_rect.con.body.xml.gz2004-11-09 10:20 822  
[ ]ap_wd.con.body.xml.gz2004-11-09 10:20 835  
[ ]eq_wd.con.body.xml.gz2004-11-09 10:20 863  
[ ]my_sigT_ind.con.types.xml.gz2004-11-09 10:20 871  
[ ]csr_wd.con.types.xml.gz2004-11-09 10:20 877  
[ ]Ccsr_wd.con.types.xml.gz2004-11-09 10:20 886  
[ ]replace_in_term.con.body.xml.gz2004-11-09 10:20 899  
[ ]csr_wd.con.body.xml.gz2004-11-09 10:20 908  
[ ]replace_in_term_proof.con.body.xml.gz2004-11-09 10:20 915  
[ ]Ccsr_wd.con.body.xml.gz2004-11-09 10:20 919  
[ ]replace_in_term_proof.con.xml.gz2004-11-09 10:20 940  
[ ]tot_set_exp.ind.xml.gz2004-11-09 10:20 945  
[ ]cspf_wd.con.types.xml.gz2004-11-09 10:20 1.0K 
[ ]part_set_exp_rec.con.xml.gz2004-11-09 10:20 1.1K 
[ ]part_set_exp_ind.con.xml.gz2004-11-09 10:20 1.1K 
[ ]part_set_exp_rect.con.xml.gz2004-11-09 10:20 1.1K 
[ ]part_set_xexp.ind.xml.gz2004-11-09 10:20 1.2K 
[ ]tot_set_exp_rec.con.xml.gz2004-11-09 10:20 1.3K 
[ ]tot_set_exp_ind.con.xml.gz2004-11-09 10:20 1.3K 
[ ]tot_set_exp_rect.con.xml.gz2004-11-09 10:20 1.3K 
[ ]pse_int.ind.xml.gz2004-11-09 10:20 1.4K 
[ ]forget.con.body.xml.gz2004-11-09 10:20 1.5K 
[ ]tse_int.con.body.xml.gz2004-11-09 10:20 1.5K 
[ ]part_set_exp_ind.con.types.xml.gz2004-11-09 10:20 1.6K 
[ ]extract_correct.con.body.xml.gz2004-11-09 10:20 1.6K 
[ ]part_set_xexp_rect.con.xml.gz2004-11-09 10:20 1.6K 
[ ]part_set_xexp_rec.con.xml.gz2004-11-09 10:20 1.7K 
[ ]part_set_xexp_ind.con.xml.gz2004-11-09 10:20 1.7K 
[ ]part_set_exp_rect.con.body.xml.gz2004-11-09 10:20 1.8K 
[ ]tse_int_wd.con.body.xml.gz2004-11-09 10:20 2.0K 
[ ]pse_int_rect.con.xml.gz2004-11-09 10:20 2.0K 
[ ]pse_int_rec.con.xml.gz2004-11-09 10:20 2.0K 
[ ]pse_int_ind.con.xml.gz2004-11-09 10:20 2.0K 
[ ]tot_set_exp_ind.con.types.xml.gz2004-11-09 10:20 2.1K 
[ ]INDEX2005-07-05 08:11 2.3K 
[ ]tot_set_exp_rect.con.body.xml.gz2004-11-09 10:20 2.4K 
[ ]part_set_xexp_ind.con.types.xml.gz2004-11-09 10:20 2.7K 
[ ]part_set_xexp_rect.con.body.xml.gz2004-11-09 10:20 2.9K 
[ ]tse_int_wd.con.types.xml.gz2004-11-09 10:20 3.2K 
[ ]pse_int_ind.con.types.xml.gz2004-11-09 10:20 3.4K 
[ ]pse_int_rect.con.body.xml.gz2004-11-09 10:20 3.5K 
[ ]replacement_lemma.con.body.xml.gz2004-11-09 10:20 5.4K 
[ ]pse_int_var_inv.con.body.xml.gz2004-11-09 10:20 6.5K 
[ ]pse_int_con_inv.con.body.xml.gz2004-11-09 10:20 7.7K 
[ ]pse_int_var_inv.con.types.xml.gz2004-11-09 10:20 9.2K 
[ ]pse_int_con_inv.con.types.xml.gz2004-11-09 10:20 11K 
[ ]pse_int_ext.con.body.xml.gz2004-11-09 10:20 69K 
[ ]pse_int_wd.con.body.xml.gz2004-11-09 10:20 87K 
[ ]pse_int_ext.con.types.xml.gz2004-11-09 10:20 92K 
[ ]pse_int_wd.con.types.xml.gz2004-11-09 10:20 110K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80