Index of /xml/Cachan/SMC/bool_fun

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]INDEX2005-07-05 08:10 4.8K 
[ ]augment.con.body.xml.gz2004-04-08 09:08 594  
[ ]augment.con.types.xml.gz2004-04-08 09:08 197  
[ ]augment.con.xml.gz2004-04-08 09:08 347  
[ ]bool_expr.ind.types.xml.gz2004-04-08 09:08 199  
[ ]bool_expr.ind.xml.gz2004-04-08 09:08 525  
[ ]bool_expr_ind.con.body.xml.gz2004-04-08 09:08 419  
[ ]bool_expr_ind.con.types.xml.gz2004-04-08 09:08 1.8K 
[ ]bool_expr_ind.con.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_expr_rec.con.body.xml.gz2004-04-08 09:08 416  
[ ]bool_expr_rec.con.types.xml.gz2004-04-08 09:08 207  
[ ]bool_expr_rec.con.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_expr_rect.con.body.xml.gz2004-04-08 09:08 1.9K 
[ ]bool_expr_rect.con.types.xml.gz2004-04-08 09:08 208  
[ ]bool_expr_rect.con.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun.con.body.xml.gz2004-04-08 09:08 320  
[ ]bool_fun.con.types.xml.gz2004-04-08 09:08 196  
[ ]bool_fun.con.xml.gz2004-04-08 09:08 204  
[ ]bool_fun_and.con.body.xml.gz2004-04-08 09:08 440  
[ ]bool_fun_and.con.types.xml.gz2004-04-08 09:08 203  
[ ]bool_fun_and.con.xml.gz2004-04-08 09:08 300  
[ ]bool_fun_and_comm.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_and_comm.con.types.xml.gz2004-04-08 09:08 1.4K 
[ ]bool_fun_and_comm.con.xml.gz2004-04-08 09:08 431  
[ ]bool_fun_and_idempotent.con.body.xml.gz2004-04-08 09:08 647  
[ ]bool_fun_and_idempotent.con.types.xml.gz2004-04-08 09:08 955  
[ ]bool_fun_and_idempotent.con.xml.gz2004-04-08 09:08 404  
[ ]bool_fun_and_lemma.con.body.xml.gz2004-04-08 09:08 1.3K 
[ ]bool_fun_and_lemma.con.types.xml.gz2004-04-08 09:08 2.1K 
[ ]bool_fun_and_lemma.con.xml.gz2004-04-08 09:08 489  
[ ]bool_fun_and_orthogonal.con.body.xml.gz2004-04-08 09:08 1.2K 
[ ]bool_fun_and_orthogonal.con.types.xml.gz2004-04-08 09:08 2.3K 
[ ]bool_fun_and_orthogonal.con.xml.gz2004-04-08 09:08 605  
[ ]bool_fun_and_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.3K 
[ ]bool_fun_and_preserves_eq.con.types.xml.gz2004-04-08 09:08 1.9K 
[ ]bool_fun_and_preserves_eq.con.xml.gz2004-04-08 09:08 555  
[ ]bool_fun_eq.con.body.xml.gz2004-04-08 09:08 503  
[ ]bool_fun_eq.con.types.xml.gz2004-04-08 09:08 201  
[ ]bool_fun_eq.con.xml.gz2004-04-08 09:08 308  
[ ]bool_fun_eq_independent.con.body.xml.gz2004-04-08 09:08 918  
[ ]bool_fun_eq_independent.con.types.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_eq_independent.con.xml.gz2004-04-08 09:08 495  
[ ]bool_fun_eq_neg_eq.con.body.xml.gz2004-04-08 09:08 2.2K 
[ ]bool_fun_eq_neg_eq.con.types.xml.gz2004-04-08 09:08 2.6K 
[ ]bool_fun_eq_neg_eq.con.xml.gz2004-04-08 09:08 458  
[ ]bool_fun_eq_refl.con.body.xml.gz2004-04-08 09:08 466  
[ ]bool_fun_eq_refl.con.types.xml.gz2004-04-08 09:08 633  
[ ]bool_fun_eq_refl.con.xml.gz2004-04-08 09:08 364  
[ ]bool_fun_eq_sym.con.body.xml.gz2004-04-08 09:08 805  
[ ]bool_fun_eq_sym.con.types.xml.gz2004-04-08 09:08 1.0K 
[ ]bool_fun_eq_sym.con.xml.gz2004-04-08 09:08 420  
[ ]bool_fun_eq_trans.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_eq_trans.con.types.xml.gz2004-04-08 09:08 1.3K 
[ ]bool_fun_eq_trans.con.xml.gz2004-04-08 09:08 467  
[ ]bool_fun_ex.con.body.xml.gz2004-04-08 09:08 486  
[ ]bool_fun_ex.con.types.xml.gz2004-04-08 09:08 201  
[ ]bool_fun_ex.con.xml.gz2004-04-08 09:08 308  
[ ]bool_fun_ex_lemma.con.body.xml.gz2004-04-08 09:08 1.4K 
[ ]bool_fun_ex_lemma.con.types.xml.gz2004-04-08 09:08 2.2K 
[ ]bool_fun_ex_lemma.con.xml.gz2004-04-08 09:08 486  
[ ]bool_fun_ex_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.5K 
[ ]bool_fun_ex_preserves_eq.con.types.xml.gz2004-04-08 09:08 1.9K 
[ ]bool_fun_ex_preserves_eq.con.xml.gz2004-04-08 09:08 508  
[ ]bool_fun_ext.con.body.xml.gz2004-04-08 09:08 618  
[ ]bool_fun_ext.con.types.xml.gz2004-04-08 09:08 203  
[ ]bool_fun_ext.con.xml.gz2004-04-08 09:08 297  
[ ]bool_fun_ext_if.con.body.xml.gz2004-04-08 09:08 2.0K 
[ ]bool_fun_ext_if.con.types.xml.gz2004-04-08 09:08 2.4K 
[ ]bool_fun_ext_if.con.xml.gz2004-04-08 09:08 485  
[ ]bool_fun_ext_one.con.body.xml.gz2004-04-08 09:08 590  
[ ]bool_fun_ext_one.con.types.xml.gz2004-04-08 09:08 753  
[ ]bool_fun_ext_one.con.xml.gz2004-04-08 09:08 280  
[ ]bool_fun_ext_zero.con.body.xml.gz2004-04-08 09:08 595  
[ ]bool_fun_ext_zero.con.types.xml.gz2004-04-08 09:08 754  
[ ]bool_fun_ext_zero.con.xml.gz2004-04-08 09:08 283  
[ ]bool_fun_forall.con.body.xml.gz2004-04-08 09:08 494  
[ ]bool_fun_forall.con.types.xml.gz2004-04-08 09:08 208  
[ ]bool_fun_forall.con.xml.gz2004-04-08 09:08 315  
[ ]bool_fun_forall_if_egal.con.body.xml.gz2004-04-08 09:08 809  
[ ]bool_fun_forall_if_egal.con.types.xml.gz2004-04-08 09:08 1.0K 
[ ]bool_fun_forall_if_egal.con.xml.gz2004-04-08 09:08 586  
[ ]bool_fun_forall_independent.con.body.xml.gz2004-04-08 09:08 887  
[ ]bool_fun_forall_independent.con.types.xml.gz2004-04-08 09:08 1.2K 
[ ]bool_fun_forall_independent.con.xml.gz2004-04-08 09:08 484  
[ ]bool_fun_forall_one.con.body.xml.gz2004-04-08 09:08 445  
[ ]bool_fun_forall_one.con.types.xml.gz2004-04-08 09:08 758  
[ ]bool_fun_forall_one.con.xml.gz2004-04-08 09:08 410  
[ ]bool_fun_forall_orthogonal.con.body.xml.gz2004-04-08 09:08 1.5K 
[ ]bool_fun_forall_orthogonal.con.types.xml.gz2004-04-08 09:08 2.2K 
[ ]bool_fun_forall_orthogonal.con.xml.gz2004-04-08 09:08 712  
[ ]bool_fun_forall_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.5K 
[ ]bool_fun_forall_preserves_eq.con.types.xml.gz2004-04-08 09:08 2.0K 
[ ]bool_fun_forall_preserves_eq.con.xml.gz2004-04-08 09:08 517  
[ ]bool_fun_forall_zero.con.body.xml.gz2004-04-08 09:08 449  
[ ]bool_fun_forall_zero.con.types.xml.gz2004-04-08 09:08 761  
[ ]bool_fun_forall_zero.con.xml.gz2004-04-08 09:08 416  
[ ]bool_fun_if.con.body.xml.gz2004-04-08 09:08 484  
[ ]bool_fun_if.con.types.xml.gz2004-04-08 09:08 201  
[ ]bool_fun_if.con.xml.gz2004-04-08 09:08 316  
[ ]bool_fun_if_eq_1.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_if_eq_1.con.types.xml.gz2004-04-08 09:08 1.6K 
[ ]bool_fun_if_eq_1.con.xml.gz2004-04-08 09:08 481  
[ ]bool_fun_if_eq_2.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_if_eq_2.con.types.xml.gz2004-04-08 09:08 1.6K 
[ ]bool_fun_if_eq_2.con.xml.gz2004-04-08 09:08 480  
[ ]bool_fun_if_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.4K 
[ ]bool_fun_if_preserves_eq.con.types.xml.gz2004-04-08 09:08 2.1K 
[ ]bool_fun_if_preserves_eq.con.xml.gz2004-04-08 09:08 586  
[ ]bool_fun_if_restrict.con.body.xml.gz2004-04-08 09:08 2.3K 
[ ]bool_fun_if_restrict.con.types.xml.gz2004-04-08 09:08 6.0K 
[ ]bool_fun_if_restrict.con.xml.gz2004-04-08 09:08 733  
[ ]bool_fun_if_restrict_false.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_if_restrict_false.con.types.xml.gz2004-04-08 09:08 1.8K 
[ ]bool_fun_if_restrict_false.con.xml.gz2004-04-08 09:08 563  
[ ]bool_fun_if_restrict_false_independent.con.body.xml.gz2004-04-08 09:08 800  
[ ]bool_fun_if_restrict_false_independent.con.types.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_if_restrict_false_independent.con.xml.gz2004-04-08 09:08 598  
[ ]bool_fun_if_restrict_true.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_if_restrict_true.con.types.xml.gz2004-04-08 09:08 1.8K 
[ ]bool_fun_if_restrict_true.con.xml.gz2004-04-08 09:08 561  
[ ]bool_fun_if_restrict_true_independent.con.body.xml.gz2004-04-08 09:08 800  
[ ]bool_fun_if_restrict_true_independent.con.types.xml.gz2004-04-08 09:08 1.2K 
[ ]bool_fun_if_restrict_true_independent.con.xml.gz2004-04-08 09:08 596  
[ ]bool_fun_iff.con.body.xml.gz2004-04-08 09:08 439  
[ ]bool_fun_iff.con.types.xml.gz2004-04-08 09:08 203  
[ ]bool_fun_iff.con.xml.gz2004-04-08 09:08 300  
[ ]bool_fun_iff_lemma.con.body.xml.gz2004-04-08 09:08 1.3K 
[ ]bool_fun_iff_lemma.con.types.xml.gz2004-04-08 09:08 2.2K 
[ ]bool_fun_iff_lemma.con.xml.gz2004-04-08 09:08 493  
[ ]bool_fun_iff_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.3K 
[ ]bool_fun_iff_preserves_eq.con.types.xml.gz2004-04-08 09:08 1.9K 
[ ]bool_fun_iff_preserves_eq.con.xml.gz2004-04-08 09:08 555  
[ ]bool_fun_impl.con.body.xml.gz2004-04-08 09:08 442  
[ ]bool_fun_impl.con.types.xml.gz2004-04-08 09:08 204  
[ ]bool_fun_impl.con.xml.gz2004-04-08 09:08 302  
[ ]bool_fun_impl_lemma.con.body.xml.gz2004-04-08 09:08 1.2K 
[ ]bool_fun_impl_lemma.con.types.xml.gz2004-04-08 09:08 1.7K 
[ ]bool_fun_impl_lemma.con.xml.gz2004-04-08 09:08 457  
[ ]bool_fun_impl_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.3K 
[ ]bool_fun_impl_preserves_eq.con.types.xml.gz2004-04-08 09:08 1.9K 
[ ]bool_fun_impl_preserves_eq.con.xml.gz2004-04-08 09:08 557  
[ ]bool_fun_independent.con.body.xml.gz2004-04-08 09:08 519  
[ ]bool_fun_independent.con.types.xml.gz2004-04-08 09:08 216  
[ ]bool_fun_independent.con.xml.gz2004-04-08 09:08 334  
[ ]bool_fun_independent_if.con.body.xml.gz2004-04-08 09:08 1.4K 
[ ]bool_fun_independent_if.con.types.xml.gz2004-04-08 09:08 1.9K 
[ ]bool_fun_independent_if.con.xml.gz2004-04-08 09:08 674  
[ ]bool_fun_independent_one.con.body.xml.gz2004-04-08 09:08 469  
[ ]bool_fun_independent_one.con.types.xml.gz2004-04-08 09:08 879  
[ ]bool_fun_independent_one.con.xml.gz2004-04-08 09:08 388  
[ ]bool_fun_independent_zero.con.body.xml.gz2004-04-08 09:08 477  
[ ]bool_fun_independent_zero.con.types.xml.gz2004-04-08 09:08 881  
[ ]bool_fun_independent_zero.con.xml.gz2004-04-08 09:08 391  
[ ]bool_fun_neg.con.body.xml.gz2004-04-08 09:08 404  
[ ]bool_fun_neg.con.types.xml.gz2004-04-08 09:08 202  
[ ]bool_fun_neg.con.xml.gz2004-04-08 09:08 289  
[ ]bool_fun_neg_one.con.body.xml.gz2004-04-08 09:08 453  
[ ]bool_fun_neg_one.con.types.xml.gz2004-04-08 09:08 641  
[ ]bool_fun_neg_one.con.xml.gz2004-04-08 09:08 312  
[ ]bool_fun_neg_orthogonal.con.body.xml.gz2004-04-08 09:08 1.0K 
[ ]bool_fun_neg_orthogonal.con.types.xml.gz2004-04-08 09:08 1.8K 
[ ]bool_fun_neg_orthogonal.con.xml.gz2004-04-08 09:08 529  
[ ]bool_fun_neg_preserves_eq.con.body.xml.gz2004-04-08 09:08 815  
[ ]bool_fun_neg_preserves_eq.con.types.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_neg_preserves_eq.con.xml.gz2004-04-08 09:08 476  
[ ]bool_fun_neg_zero.con.body.xml.gz2004-04-08 09:08 454  
[ ]bool_fun_neg_zero.con.types.xml.gz2004-04-08 09:08 642  
[ ]bool_fun_neg_zero.con.xml.gz2004-04-08 09:08 313  
[ ]bool_fun_of_bool_expr.con.body.xml.gz2004-04-08 09:08 1.0K 
[ ]bool_fun_of_bool_expr.con.types.xml.gz2004-04-08 09:08 216  
[ ]bool_fun_of_bool_expr.con.xml.gz2004-04-08 09:08 323  
[ ]bool_fun_one.con.body.xml.gz2004-04-08 09:08 350  
[ ]bool_fun_one.con.types.xml.gz2004-04-08 09:08 202  
[ ]bool_fun_one.con.xml.gz2004-04-08 09:08 319  
[ ]bool_fun_or.con.body.xml.gz2004-04-08 09:08 437  
[ ]bool_fun_or.con.types.xml.gz2004-04-08 09:08 201  
[ ]bool_fun_or.con.xml.gz2004-04-08 09:08 298  
[ ]bool_fun_or_comm.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_or_comm.con.types.xml.gz2004-04-08 09:08 1.4K 
[ ]bool_fun_or_comm.con.xml.gz2004-04-08 09:08 428  
[ ]bool_fun_or_one.con.body.xml.gz2004-04-08 09:08 635  
[ ]bool_fun_or_one.con.types.xml.gz2004-04-08 09:08 927  
[ ]bool_fun_or_one.con.xml.gz2004-04-08 09:08 396  
[ ]bool_fun_or_orthogonal.con.body.xml.gz2004-04-08 09:08 1.2K 
[ ]bool_fun_or_orthogonal.con.types.xml.gz2004-04-08 09:08 2.3K 
[ ]bool_fun_or_orthogonal.con.xml.gz2004-04-08 09:08 602  
[ ]bool_fun_or_orthogonal_left.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_or_orthogonal_left.con.types.xml.gz2004-04-08 09:08 2.2K 
[ ]bool_fun_or_orthogonal_left.con.xml.gz2004-04-08 09:08 578  
[ ]bool_fun_or_orthogonal_right.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_or_orthogonal_right.con.types.xml.gz2004-04-08 09:08 2.2K 
[ ]bool_fun_or_orthogonal_right.con.xml.gz2004-04-08 09:08 581  
[ ]bool_fun_or_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_or_preserves_eq.con.types.xml.gz2004-04-08 09:08 1.5K 
[ ]bool_fun_or_preserves_eq.con.xml.gz2004-04-08 09:08 550  
[ ]bool_fun_or_zero.con.body.xml.gz2004-04-08 09:08 643  
[ ]bool_fun_or_zero.con.types.xml.gz2004-04-08 09:08 939  
[ ]bool_fun_or_zero.con.xml.gz2004-04-08 09:08 399  
[ ]bool_fun_restrict.con.body.xml.gz2004-04-08 09:08 500  
[ ]bool_fun_restrict.con.types.xml.gz2004-04-08 09:08 211  
[ ]bool_fun_restrict.con.xml.gz2004-04-08 09:08 356  
[ ]bool_fun_restrict_one.con.body.xml.gz2004-04-08 09:08 465  
[ ]bool_fun_restrict_one.con.types.xml.gz2004-04-08 09:08 810  
[ ]bool_fun_restrict_one.con.xml.gz2004-04-08 09:08 474  
[ ]bool_fun_restrict_preserves_eq.con.body.xml.gz2004-04-08 09:08 1.0K 
[ ]bool_fun_restrict_preserves_eq.con.types.xml.gz2004-04-08 09:08 1.5K 
[ ]bool_fun_restrict_preserves_eq.con.xml.gz2004-04-08 09:08 586  
[ ]bool_fun_restrict_zero.con.body.xml.gz2004-04-08 09:08 471  
[ ]bool_fun_restrict_zero.con.types.xml.gz2004-04-08 09:08 814  
[ ]bool_fun_restrict_zero.con.xml.gz2004-04-08 09:08 477  
[ ]bool_fun_var.con.body.xml.gz2004-04-08 09:08 383  
[ ]bool_fun_var.con.types.xml.gz2004-04-08 09:08 203  
[ ]bool_fun_var.con.xml.gz2004-04-08 09:08 297  
[ ]bool_fun_var_lemma.con.body.xml.gz2004-04-08 09:08 702  
[ ]bool_fun_var_lemma.con.types.xml.gz2004-04-08 09:08 1.1K 
[ ]bool_fun_var_lemma.con.xml.gz2004-04-08 09:08 432  
[ ]bool_fun_zero.con.body.xml.gz2004-04-08 09:08 353  
[ ]bool_fun_zero.con.types.xml.gz2004-04-08 09:08 205  
[ ]bool_fun_zero.con.xml.gz2004-04-08 09:08 321  
[ ]var_env.con.body.xml.gz2004-04-08 09:08 325  
[ ]var_env.con.types.xml.gz2004-04-08 09:08 197  
[ ]var_env.con.xml.gz2004-04-08 09:08 202  
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80