Index of /xml/Coq/Bool/Bool

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:10 4.1K 
[ ]Is_true.con.body.xml.gz2004-04-08 01:28 467  
[ ]Is_true.con.types.xml.gz2004-04-08 01:28 194  
[ ]Is_true.con.xml.gz2004-04-08 01:28 293  
[ ]Is_true_eq_left.con.body.xml.gz2004-04-08 01:28 574  
[ ]Is_true_eq_left.con.proof_tree.xml.gz2004-04-09 18:52 888  
[ ]Is_true_eq_left.con.types.xml.gz2004-04-08 01:28 550  
[ ]Is_true_eq_left.con.xml.gz2004-04-08 01:28 444  
[ ]Is_true_eq_right.con.body.xml.gz2004-04-08 01:28 572  
[ ]Is_true_eq_right.con.proof_tree.xml.gz2004-04-09 18:52 900  
[ ]Is_true_eq_right.con.types.xml.gz2004-04-08 01:28 550  
[ ]Is_true_eq_right.con.xml.gz2004-04-08 01:28 441  
[ ]Is_true_eq_true.con.body.xml.gz2004-04-08 01:28 750  
[ ]Is_true_eq_true.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Is_true_eq_true.con.types.xml.gz2004-04-08 01:28 777  
[ ]Is_true_eq_true.con.xml.gz2004-04-08 01:28 443  
[ ]Is_true_eq_true2.con.body.xml.gz2004-04-08 01:28 745  
[ ]Is_true_eq_true2.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]Is_true_eq_true2.con.types.xml.gz2004-04-08 01:28 817  
[ ]Is_true_eq_true2.con.xml.gz2004-04-08 01:28 443  
[ ]absoption_andb.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]absoption_andb.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]absoption_andb.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]absoption_andb.con.xml.gz2004-04-08 01:28 464  
[ ]absoption_orb.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]absoption_orb.con.proof_tree.xml.gz2004-04-09 18:52 1.5K 
[ ]absoption_orb.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]absoption_orb.con.xml.gz2004-04-08 01:28 462  
[ ]andb.con.body.xml.gz2004-04-08 01:28 406  
[ ]andb.con.types.xml.gz2004-04-08 01:28 187  
[ ]andb.con.xml.gz2004-04-08 01:28 286  
[ ]andb_assoc.con.body.xml.gz2004-04-08 01:28 2.3K 
[ ]andb_assoc.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]andb_assoc.con.types.xml.gz2004-04-08 01:28 3.3K 
[ ]andb_assoc.con.xml.gz2004-04-08 01:28 513  
[ ]andb_b_false.con.body.xml.gz2004-04-08 01:28 617  
[ ]andb_b_false.con.proof_tree.xml.gz2004-04-09 18:52 917  
[ ]andb_b_false.con.types.xml.gz2004-04-08 01:28 693  
[ ]andb_b_false.con.xml.gz2004-04-08 01:28 437  
[ ]andb_b_true.con.body.xml.gz2004-04-08 01:28 611  
[ ]andb_b_true.con.proof_tree.xml.gz2004-04-09 18:52 917  
[ ]andb_b_true.con.types.xml.gz2004-04-08 01:28 695  
[ ]andb_b_true.con.xml.gz2004-04-08 01:28 435  
[ ]andb_comm.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]andb_comm.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]andb_comm.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]andb_comm.con.xml.gz2004-04-08 01:28 452  
[ ]andb_false_b.con.body.xml.gz2004-04-08 01:28 395  
[ ]andb_false_b.con.proof_tree.xml.gz2004-04-09 18:52 586  
[ ]andb_false_b.con.types.xml.gz2004-04-08 01:28 573  
[ ]andb_false_b.con.xml.gz2004-04-08 01:28 435  
[ ]andb_false_elim.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]andb_false_elim.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]andb_false_elim.con.types.xml.gz2004-04-08 01:28 207  
[ ]andb_false_elim.con.xml.gz2004-04-08 01:28 555  
[ ]andb_false_intro1.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]andb_false_intro1.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]andb_false_intro1.con.types.xml.gz2004-04-08 01:28 1.5K 
[ ]andb_false_intro1.con.xml.gz2004-04-08 01:28 502  
[ ]andb_false_intro2.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]andb_false_intro2.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]andb_false_intro2.con.types.xml.gz2004-04-08 01:28 1.5K 
[ ]andb_false_intro2.con.xml.gz2004-04-08 01:28 500  
[ ]andb_neg_b.con.body.xml.gz2004-04-08 01:28 636  
[ ]andb_neg_b.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]andb_neg_b.con.types.xml.gz2004-04-08 01:28 736  
[ ]andb_neg_b.con.xml.gz2004-04-08 01:28 450  
[ ]andb_prop.con.body.xml.gz2004-04-08 01:28 2.4K 
[ ]andb_prop.con.proof_tree.xml.gz2004-04-09 18:52 2.7K 
[ ]andb_prop.con.types.xml.gz2004-04-08 01:28 3.2K 
[ ]andb_prop.con.xml.gz2004-04-08 01:28 537  
[ ]andb_prop2.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]andb_prop2.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]andb_prop2.con.types.xml.gz2004-04-08 01:28 1.8K 
[ ]andb_prop2.con.xml.gz2004-04-08 01:28 494  
[ ]andb_true_b.con.body.xml.gz2004-04-08 01:28 400  
[ ]andb_true_b.con.proof_tree.xml.gz2004-04-09 18:52 582  
[ ]andb_true_b.con.types.xml.gz2004-04-08 01:28 566  
[ ]andb_true_b.con.xml.gz2004-04-08 01:28 436  
[ ]andb_true_eq.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]andb_true_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]andb_true_eq.con.types.xml.gz2004-04-08 01:28 2.4K 
[ ]andb_true_eq.con.xml.gz2004-04-08 01:28 547  
[ ]andb_true_intro.con.body.xml.gz2004-04-08 01:28 2.4K 
[ ]andb_true_intro.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]andb_true_intro.con.types.xml.gz2004-04-08 01:28 2.3K 
[ ]andb_true_intro.con.xml.gz2004-04-08 01:28 551  
[ ]andb_true_intro2.con.body.xml.gz2004-04-08 01:28 1.2K 
[ ]andb_true_intro2.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]andb_true_intro2.con.types.xml.gz2004-04-08 01:28 2.0K 
[ ]andb_true_intro2.con.xml.gz2004-04-08 01:28 473  
[ ]bool_1.con.body.xml.gz2004-04-08 01:28 3.6K 
[ ]bool_1.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]bool_1.con.types.xml.gz2004-04-08 01:28 3.8K 
[ ]bool_1.con.xml.gz2004-04-08 01:28 509  
[ ]bool_2.con.body.xml.gz2004-04-08 01:28 1.5K 
[ ]bool_2.con.proof_tree.xml.gz2004-04-09 18:52 1.9K 
[ ]bool_2.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]bool_2.con.xml.gz2004-04-08 01:28 467  
[ ]bool_3.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]bool_3.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]bool_3.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]bool_3.con.xml.gz2004-04-08 01:28 490  
[ ]bool_4.con.body.xml.gz2004-04-08 01:28 909  
[ ]bool_4.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]bool_4.con.types.xml.gz2004-04-08 01:28 1.3K 
[ ]bool_4.con.xml.gz2004-04-08 01:28 483  
[ ]bool_5.con.body.xml.gz2004-04-08 01:28 910  
[ ]bool_5.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]bool_5.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]bool_5.con.xml.gz2004-04-08 01:28 488  
[ ]bool_6.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]bool_6.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]bool_6.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]bool_6.con.xml.gz2004-04-08 01:28 487  
[ ]demorgan1.con.body.xml.gz2004-04-08 01:28 2.6K 
[ ]demorgan1.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]demorgan1.con.types.xml.gz2004-04-08 01:28 3.8K 
[ ]demorgan1.con.xml.gz2004-04-08 01:28 532  
[ ]demorgan2.con.body.xml.gz2004-04-08 01:28 2.6K 
[ ]demorgan2.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]demorgan2.con.types.xml.gz2004-04-08 01:28 3.8K 
[ ]demorgan2.con.xml.gz2004-04-08 01:28 540  
[ ]demorgan3.con.body.xml.gz2004-04-08 01:28 2.6K 
[ ]demorgan3.con.proof_tree.xml.gz2004-04-09 18:52 3.0K 
[ ]demorgan3.con.types.xml.gz2004-04-08 01:28 3.8K 
[ ]demorgan3.con.xml.gz2004-04-08 01:28 531  
[ ]demorgan4.con.body.xml.gz2004-04-08 01:28 2.6K 
[ ]demorgan4.con.proof_tree.xml.gz2004-04-09 18:52 2.9K 
[ ]demorgan4.con.types.xml.gz2004-04-08 01:28 3.8K 
[ ]demorgan4.con.xml.gz2004-04-08 01:28 540  
[ ]diff_false_true.con.body.xml.gz2004-04-08 01:28 552  
[ ]diff_false_true.con.proof_tree.xml.gz2004-04-09 18:52 1.1K 
[ ]diff_false_true.con.types.xml.gz2004-04-08 01:28 631  
[ ]diff_false_true.con.xml.gz2004-04-08 01:28 350  
[ ]diff_true_false.con.body.xml.gz2004-04-08 01:28 552  
[ ]diff_true_false.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]diff_true_false.con.types.xml.gz2004-04-08 01:28 564  
[ ]diff_true_false.con.xml.gz2004-04-08 01:28 352  
[ ]eq_true_false_abs.con.body.xml.gz2004-04-08 01:28 826  
[ ]eq_true_false_abs.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]eq_true_false_abs.con.types.xml.gz2004-04-08 01:28 736  
[ ]eq_true_false_abs.con.xml.gz2004-04-08 01:28 458  
[ ]eqb.con.body.xml.gz2004-04-08 01:28 594  
[ ]eqb.con.types.xml.gz2004-04-08 01:28 185  
[ ]eqb.con.xml.gz2004-04-08 01:28 283  
[ ]eqb_eq.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]eqb_eq.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]eqb_eq.con.types.xml.gz2004-04-08 01:28 1.4K 
[ ]eqb_eq.con.xml.gz2004-04-08 01:28 470  
[ ]eqb_negb1.con.body.xml.gz2004-04-08 01:28 633  
[ ]eqb_negb1.con.proof_tree.xml.gz2004-04-09 18:52 856  
[ ]eqb_negb1.con.types.xml.gz2004-04-08 01:28 737  
[ ]eqb_negb1.con.xml.gz2004-04-08 01:28 452  
[ ]eqb_negb2.con.body.xml.gz2004-04-08 01:28 635  
[ ]eqb_negb2.con.proof_tree.xml.gz2004-04-09 18:52 855  
[ ]eqb_negb2.con.types.xml.gz2004-04-08 01:28 734  
[ ]eqb_negb2.con.xml.gz2004-04-08 01:28 448  
[ ]eqb_prop.con.body.xml.gz2004-04-08 01:28 1.8K 
[ ]eqb_prop.con.proof_tree.xml.gz2004-04-09 18:52 2.2K 
[ ]eqb_prop.con.types.xml.gz2004-04-08 01:28 2.0K 
[ ]eqb_prop.con.xml.gz2004-04-08 01:28 491  
[ ]eqb_refl.con.body.xml.gz2004-04-08 01:28 560  
[ ]eqb_refl.con.proof_tree.xml.gz2004-04-09 18:52 926  
[ ]eqb_refl.con.types.xml.gz2004-04-08 01:28 600  
[ ]eqb_refl.con.xml.gz2004-04-08 01:28 394  
[ ]eqb_reflx.con.body.xml.gz2004-04-08 01:28 604  
[ ]eqb_reflx.con.proof_tree.xml.gz2004-04-09 18:52 941  
[ ]eqb_reflx.con.types.xml.gz2004-04-08 01:28 682  
[ ]eqb_reflx.con.xml.gz2004-04-08 01:28 426  
[ ]eqb_subst.con.body.xml.gz2004-04-08 01:28 2.8K 
[ ]eqb_subst.con.proof_tree.xml.gz2004-04-09 18:52 7.4K 
[ ]eqb_subst.con.types.xml.gz2004-04-08 01:28 3.5K 
[ ]eqb_subst.con.xml.gz2004-04-08 01:28 559  
[ ]false_xorb.con.body.xml.gz2004-04-08 01:28 615  
[ ]false_xorb.con.proof_tree.xml.gz2004-04-09 18:52 807  
[ ]false_xorb.con.types.xml.gz2004-04-08 01:28 686  
[ ]false_xorb.con.xml.gz2004-04-08 01:28 434  
[ ]if_negb.con.body.xml.gz2004-04-08 01:28 918  
[ ]if_negb.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]if_negb.con.types.xml.gz2004-04-08 01:28 1.5K 
[ ]if_negb.con.xml.gz2004-04-08 01:28 650  
[ ]ifb.con.body.xml.gz2004-04-08 01:28 466  
[ ]ifb.con.types.xml.gz2004-04-08 01:28 185  
[ ]ifb.con.xml.gz2004-04-08 01:28 292  
[ ]implb.con.body.xml.gz2004-04-08 01:28 407  
[ ]implb.con.types.xml.gz2004-04-08 01:28 188  
[ ]implb.con.xml.gz2004-04-08 01:28 287  
[ ]leb.con.body.xml.gz2004-04-08 01:28 534  
[ ]leb.con.types.xml.gz2004-04-08 01:28 185  
[ ]leb.con.xml.gz2004-04-08 01:28 297  
[ ]negb.con.body.xml.gz2004-04-08 01:28 453  
[ ]negb.con.types.xml.gz2004-04-08 01:28 186  
[ ]negb.con.xml.gz2004-04-08 01:28 275  
[ ]negb_andb.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]negb_andb.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]negb_andb.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]negb_andb.con.xml.gz2004-04-08 01:28 506  
[ ]negb_elim.con.body.xml.gz2004-04-08 01:28 613  
[ ]negb_elim.con.proof_tree.xml.gz2004-04-09 18:52 961  
[ ]negb_elim.con.types.xml.gz2004-04-08 01:28 685  
[ ]negb_elim.con.xml.gz2004-04-08 01:28 424  
[ ]negb_intro.con.body.xml.gz2004-04-08 01:28 661  
[ ]negb_intro.con.proof_tree.xml.gz2004-04-09 18:52 948  
[ ]negb_intro.con.types.xml.gz2004-04-08 01:28 757  
[ ]negb_intro.con.xml.gz2004-04-08 01:28 422  
[ ]negb_orb.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]negb_orb.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]negb_orb.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]negb_orb.con.xml.gz2004-04-08 01:28 504  
[ ]negb_sym.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]negb_sym.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]negb_sym.con.types.xml.gz2004-04-08 01:28 1.4K 
[ ]negb_sym.con.xml.gz2004-04-08 01:28 475  
[ ]no_fixpoint_negb.con.body.xml.gz2004-04-08 01:28 840  
[ ]no_fixpoint_negb.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]no_fixpoint_negb.con.types.xml.gz2004-04-08 01:28 1.0K 
[ ]no_fixpoint_negb.con.xml.gz2004-04-08 01:28 442  
[ ]not_false_is_true.con.body.xml.gz2004-04-08 01:28 890  
[ ]not_false_is_true.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]not_false_is_true.con.types.xml.gz2004-04-08 01:28 944  
[ ]not_false_is_true.con.xml.gz2004-04-08 01:28 482  
[ ]not_true_is_false.con.body.xml.gz2004-04-08 01:28 882  
[ ]not_true_is_false.con.proof_tree.xml.gz2004-04-09 18:52 1.7K 
[ ]not_true_is_false.con.types.xml.gz2004-04-08 01:28 956  
[ ]not_true_is_false.con.xml.gz2004-04-08 01:28 482  
[ ]orb.con.body.xml.gz2004-04-08 01:28 403  
[ ]orb.con.types.xml.gz2004-04-08 01:28 184  
[ ]orb.con.xml.gz2004-04-08 01:28 284  
[ ]orb_assoc.con.body.xml.gz2004-04-08 01:28 2.3K 
[ ]orb_assoc.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]orb_assoc.con.types.xml.gz2004-04-08 01:28 3.3K 
[ ]orb_assoc.con.xml.gz2004-04-08 01:28 510  
[ ]orb_b_false.con.body.xml.gz2004-04-08 01:28 618  
[ ]orb_b_false.con.proof_tree.xml.gz2004-04-09 18:52 808  
[ ]orb_b_false.con.types.xml.gz2004-04-08 01:28 694  
[ ]orb_b_false.con.xml.gz2004-04-08 01:28 433  
[ ]orb_b_true.con.body.xml.gz2004-04-08 01:28 537  
[ ]orb_b_true.con.proof_tree.xml.gz2004-04-09 18:52 717  
[ ]orb_b_true.con.types.xml.gz2004-04-08 01:28 638  
[ ]orb_b_true.con.xml.gz2004-04-08 01:28 433  
[ ]orb_comm.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]orb_comm.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]orb_comm.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]orb_comm.con.xml.gz2004-04-08 01:28 450  
[ ]orb_false_b.con.body.xml.gz2004-04-08 01:28 617  
[ ]orb_false_b.con.proof_tree.xml.gz2004-04-09 18:52 807  
[ ]orb_false_b.con.types.xml.gz2004-04-08 01:28 687  
[ ]orb_false_b.con.xml.gz2004-04-08 01:28 436  
[ ]orb_false_elim.con.body.xml.gz2004-04-08 01:28 1.6K 
[ ]orb_false_elim.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]orb_false_elim.con.types.xml.gz2004-04-08 01:28 2.0K 
[ ]orb_false_elim.con.xml.gz2004-04-08 01:28 550  
[ ]orb_false_intro.con.body.xml.gz2004-04-08 01:28 840  
[ ]orb_false_intro.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]orb_false_intro.con.types.xml.gz2004-04-08 01:28 752  
[ ]orb_false_intro.con.xml.gz2004-04-08 01:28 527  
[ ]orb_neg_b.con.body.xml.gz2004-04-08 01:28 631  
[ ]orb_neg_b.con.proof_tree.xml.gz2004-04-09 18:52 1.0K 
[ ]orb_neg_b.con.types.xml.gz2004-04-08 01:28 736  
[ ]orb_neg_b.con.xml.gz2004-04-08 01:28 448  
[ ]orb_prop.con.body.xml.gz2004-04-08 01:28 2.0K 
[ ]orb_prop.con.proof_tree.xml.gz2004-04-09 18:52 2.6K 
[ ]orb_prop.con.types.xml.gz2004-04-08 01:28 2.5K 
[ ]orb_prop.con.xml.gz2004-04-08 01:28 541  
[ ]orb_prop2.con.body.xml.gz2004-04-08 01:28 1.3K 
[ ]orb_prop2.con.proof_tree.xml.gz2004-04-09 18:52 1.8K 
[ ]orb_prop2.con.types.xml.gz2004-04-08 01:28 1.8K 
[ ]orb_prop2.con.xml.gz2004-04-08 01:28 491  
[ ]orb_true_b.con.body.xml.gz2004-04-08 01:28 389  
[ ]orb_true_b.con.proof_tree.xml.gz2004-04-09 18:52 582  
[ ]orb_true_b.con.types.xml.gz2004-04-08 01:28 568  
[ ]orb_true_b.con.xml.gz2004-04-08 01:28 432  
[ ]orb_true_elim.con.body.xml.gz2004-04-08 01:28 1.0K 
[ ]orb_true_elim.con.proof_tree.xml.gz2004-04-09 18:52 1.6K 
[ ]orb_true_elim.con.types.xml.gz2004-04-08 01:28 203  
[ ]orb_true_elim.con.xml.gz2004-04-08 01:28 552  
[ ]orb_true_intro.con.body.xml.gz2004-04-08 01:28 1.6K 
[ ]orb_true_intro.con.proof_tree.xml.gz2004-04-09 18:52 2.0K 
[ ]orb_true_intro.con.types.xml.gz2004-04-08 01:28 1.6K 
[ ]orb_true_intro.con.xml.gz2004-04-08 01:28 550  
[ ]true_xorb.con.body.xml.gz2004-04-08 01:28 651  
[ ]true_xorb.con.proof_tree.xml.gz2004-04-09 18:52 850  
[ ]true_xorb.con.types.xml.gz2004-04-08 01:28 736  
[ ]true_xorb.con.xml.gz2004-04-08 01:28 444  
[ ]xorb.con.body.xml.gz2004-04-08 01:28 598  
[ ]xorb.con.types.xml.gz2004-04-08 01:28 186  
[ ]xorb.con.xml.gz2004-04-08 01:28 285  
[ ]xorb_assoc.con.body.xml.gz2004-04-08 01:28 2.3K 
[ ]xorb_assoc.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]xorb_assoc.con.types.xml.gz2004-04-08 01:28 3.3K 
[ ]xorb_assoc.con.xml.gz2004-04-08 01:28 519  
[ ]xorb_comm.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]xorb_comm.con.proof_tree.xml.gz2004-04-09 18:52 1.2K 
[ ]xorb_comm.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]xorb_comm.con.xml.gz2004-04-08 01:28 453  
[ ]xorb_eq.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]xorb_eq.con.proof_tree.xml.gz2004-04-09 18:52 2.1K 
[ ]xorb_eq.con.types.xml.gz2004-04-08 01:28 1.5K 
[ ]xorb_eq.con.xml.gz2004-04-08 01:28 496  
[ ]xorb_false.con.body.xml.gz2004-04-08 01:28 616  
[ ]xorb_false.con.proof_tree.xml.gz2004-04-09 18:52 808  
[ ]xorb_false.con.types.xml.gz2004-04-08 01:28 692  
[ ]xorb_false.con.xml.gz2004-04-08 01:28 431  
[ ]xorb_move_l_r_1.con.body.xml.gz2004-04-08 01:28 1.4K 
[ ]xorb_move_l_r_1.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]xorb_move_l_r_1.con.types.xml.gz2004-04-08 01:28 1.1K 
[ ]xorb_move_l_r_1.con.xml.gz2004-04-08 01:28 526  
[ ]xorb_move_l_r_2.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]xorb_move_l_r_2.con.proof_tree.xml.gz2004-04-09 18:52 1.4K 
[ ]xorb_move_l_r_2.con.types.xml.gz2004-04-08 01:28 1.2K 
[ ]xorb_move_l_r_2.con.xml.gz2004-04-08 01:28 526  
[ ]xorb_move_r_l_1.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]xorb_move_r_l_1.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]xorb_move_r_l_1.con.types.xml.gz2004-04-08 01:28 939  
[ ]xorb_move_r_l_1.con.xml.gz2004-04-08 01:28 525  
[ ]xorb_move_r_l_2.con.body.xml.gz2004-04-08 01:28 1.1K 
[ ]xorb_move_r_l_2.con.proof_tree.xml.gz2004-04-09 18:52 1.3K 
[ ]xorb_move_r_l_2.con.types.xml.gz2004-04-08 01:28 938  
[ ]xorb_move_r_l_2.con.xml.gz2004-04-08 01:28 525  
[ ]xorb_nilpotent.con.body.xml.gz2004-04-08 01:28 616  
[ ]xorb_nilpotent.con.proof_tree.xml.gz2004-04-09 18:52 814  
[ ]xorb_nilpotent.con.types.xml.gz2004-04-08 01:28 688  
[ ]xorb_nilpotent.con.xml.gz2004-04-08 01:28 434  
[ ]xorb_true.con.body.xml.gz2004-04-08 01:28 422  
[ ]xorb_true.con.proof_tree.xml.gz2004-04-09 18:52 604  
[ ]xorb_true.con.types.xml.gz2004-04-08 01:28 601  
[ ]xorb_true.con.xml.gz2004-04-08 01:28 444  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80