Index of /xml/Cachan/SMC/quant

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]BDDquant/2005-07-05 08:12 -  
[DIR]Be_ok/2005-07-05 08:12 -  
[DIR]Nsec/2005-07-05 08:12 -  
[ ]ap.con.types.xml.gz2004-04-08 09:19 187  
[ ]lx.con.types.xml.gz2004-04-08 09:19 187  
[ ]exl.con.types.xml.gz2004-04-08 09:18 188  
[ ]ap'.con.types.xml.gz2004-04-08 09:19 189  
[ ]lx'.con.types.xml.gz2004-04-08 09:19 189  
[ ]lx_1.con.types.xml.gz2004-04-08 09:19 191  
[ ]subst.con.types.xml.gz2004-04-08 09:18 191  
[ ]univl.con.types.xml.gz2004-04-08 09:18 191  
[ ]BDDex.con.types.xml.gz2004-04-08 09:18 192  
[ ]be_eq.con.types.xml.gz2004-04-08 09:18 192  
[ ]be_ex.con.types.xml.gz2004-04-08 09:18 192  
[ ]be_le.con.types.xml.gz2004-04-08 09:18 192  
[ ]be_ok.ind.types.xml.gz2004-04-08 09:19 192  
[ ]BDDexl.con.types.xml.gz2004-04-08 09:18 194  
[ ]lx'_1.con.types.xml.gz2004-04-08 09:19 194  
[ ]BDDuniv.con.types.xml.gz2004-04-08 09:18 195  
[ ]be_le2.con.types.xml.gz2004-04-08 09:19 195  
[ ]replace.con.types.xml.gz2004-04-08 09:18 195  
[ ]forall_.con.types.xml.gz2004-04-08 09:18 196  
[ ]replacel.con.types.xml.gz2004-04-08 09:18 196  
[ ]restrict.con.types.xml.gz2004-04-08 09:18 196  
[ ]BDDsubst.con.types.xml.gz2004-04-08 09:18 197  
[ ]BDDunivl.con.types.xml.gz2004-04-08 09:18 197  
[ ]BDDmu_ex.con.types.xml.gz2004-04-08 09:19 198  
[ ]var_env'.con.types.xml.gz2004-04-08 09:18 198  
[ ]be_eq_dec.con.types.xml.gz2004-04-08 09:18 199  
[ ]be_x_free.con.types.xml.gz2004-04-08 09:18 199  
[ ]eval_be'.con.types.xml.gz2004-04-08 09:18 199  
[ ]BDDmu_all.con.types.xml.gz2004-04-08 09:19 200  
[ ]BDDreplace.con.types.xml.gz2004-04-08 09:18 200  
[ ]bool_to_bf.con.types.xml.gz2004-04-08 09:18 200  
[ ]var_env''.con.types.xml.gz2004-04-08 09:18 200  
[ ]bool_to_be.con.types.xml.gz2004-04-08 09:18 201  
[ ]mu_ex_eval.con.types.xml.gz2004-04-08 09:19 201  
[ ]BDDreplacel.con.types.xml.gz2004-04-08 09:18 202  
[ ]ad_list_neq.con.types.xml.gz2004-04-08 09:18 202  
[ ]mu_all_eval.con.types.xml.gz2004-04-08 09:19 202  
[ ]bool_fun_exl.con.types.xml.gz2004-04-08 09:18 204  
[ ]var_env'.con.xml.gz2004-04-08 09:18 205  
[ ]bool_fun_univl.con.types.xml.gz2004-04-08 09:18 207  
[ ]bool_fun_mu_ex.con.types.xml.gz2004-04-08 09:19 208  
[ ]bool_fun_subst.con.types.xml.gz2004-04-08 09:18 208  
[ ]var_env''.con.xml.gz2004-04-08 09:18 208  
[ ]bool_fun_mu_all.con.types.xml.gz2004-04-08 09:19 209  
[ ]bool_fun_subst1.con.types.xml.gz2004-04-08 09:18 209  
[ ]var_env'_to_env.con.types.xml.gz2004-04-08 09:18 210  
[ ]var_env_to_env'.con.types.xml.gz2004-04-08 09:18 210  
[ ]bool_fun_replace.con.types.xml.gz2004-04-08 09:18 211  
[ ]var_env''_to_env.con.types.xml.gz2004-04-08 09:18 211  
[ ]bool_fun_replacel.con.types.xml.gz2004-04-08 09:18 213  
[ ]var_env''_to_env'.con.types.xml.gz2004-04-08 09:18 213  
[ ]bool_fun_restrict1.con.types.xml.gz2004-04-08 09:18 214  
[ ]lx.con.body.xml.gz2004-04-08 09:19 272  
[ ]lx'.con.body.xml.gz2004-04-08 09:19 275  
[ ]ap.con.xml.gz2004-04-08 09:19 282  
[ ]lx.con.xml.gz2004-04-08 09:19 295  
[ ]lx'.con.xml.gz2004-04-08 09:19 299  
[ ]var_env''_to_env'.con.xml.gz2004-04-08 09:18 300  
[ ]bool_to_be.con.xml.gz2004-04-08 09:18 304  
[ ]ap'.con.xml.gz2004-04-08 09:19 305  
[ ]var_env'_to_env.con.xml.gz2004-04-08 09:18 305  
[ ]length_lx_eq_lx'.con.body.xml.gz2004-04-08 09:19 306  
[ ]be_le.con.xml.gz2004-04-08 09:18 307  
[ ]var_env_to_env'.con.xml.gz2004-04-08 09:18 307  
[ ]be_eq.con.xml.gz2004-04-08 09:18 308  
[ ]var_env'.con.body.xml.gz2004-04-08 09:18 308  
[ ]be_le2.con.xml.gz2004-04-08 09:19 309  
[ ]var_env''_to_env.con.xml.gz2004-04-08 09:18 309  
[ ]var_env''.con.body.xml.gz2004-04-08 09:18 313  
[ ]mu_ex_eval.con.xml.gz2004-04-08 09:19 314  
[ ]be_eq_dec.con.xml.gz2004-04-08 09:18 315  
[ ]bool_fun_mu_ex.con.xml.gz2004-04-08 09:19 315  
[ ]mu_all_eval.con.xml.gz2004-04-08 09:19 315  
[ ]be_ex.con.xml.gz2004-04-08 09:18 316  
[ ]bool_fun_mu_all.con.xml.gz2004-04-08 09:19 317  
[ ]bool_fun_subst.con.xml.gz2004-04-08 09:18 320  
[ ]forall_.con.xml.gz2004-04-08 09:18 321  
[ ]bool_fun_subst1.con.xml.gz2004-04-08 09:18 323  
[ ]bool_fun_replace.con.xml.gz2004-04-08 09:18 324  
[ ]subst.con.xml.gz2004-04-08 09:18 327  
[ ]bool_to_bf.con.xml.gz2004-04-08 09:18 330  
[ ]replace.con.xml.gz2004-04-08 09:18 330  
[ ]be_x_free.con.xml.gz2004-04-08 09:18 340  
[ ]eval_be'.con.xml.gz2004-04-08 09:18 342  
[ ]lx_1.con.xml.gz2004-04-08 09:19 344  
[ ]restrict.con.xml.gz2004-04-08 09:18 348  
[ ]BDDex.con.xml.gz2004-04-08 09:18 349  
[ ]BDDuniv.con.xml.gz2004-04-08 09:18 351  
[ ]bool_fun_restrict1.con.xml.gz2004-04-08 09:18 358  
[ ]lx_neq_lx'.con.body.xml.gz2004-04-08 09:19 361  
[ ]BDDreplace.con.xml.gz2004-04-08 09:18 362  
[ ]exl.con.xml.gz2004-04-08 09:18 363  
[ ]lx'_1.con.xml.gz2004-04-08 09:19 365  
[ ]univl.con.xml.gz2004-04-08 09:18 366  
[ ]ap.con.body.xml.gz2004-04-08 09:19 371  
[ ]ad_list_neq.con.xml.gz2004-04-08 09:18 376  
[ ]be_le_refl.con.xml.gz2004-04-08 09:18 378  
[ ]lx_neq_lx'.con.xml.gz2004-04-08 09:19 378  
[ ]be_eq_refl.con.xml.gz2004-04-08 09:18 379  
[ ]bool_fun_exl.con.xml.gz2004-04-08 09:18 385  
[ ]bool_fun_var_ext.con.xml.gz2004-04-08 09:18 386  
[ ]replacel.con.xml.gz2004-04-08 09:18 387  
[ ]bool_fun_univl.con.xml.gz2004-04-08 09:18 389  
[ ]bool_fun_of_be_ext.con.xml.gz2004-04-08 09:18 406  
[ ]bool_fun_neg_ext.con.xml.gz2004-04-08 09:18 410  
[ ]bool_fun_replacel.con.xml.gz2004-04-08 09:18 413  
[ ]ap'.con.body.xml.gz2004-04-08 09:19 422  
[ ]var_env'_to_env.con.body.xml.gz2004-04-08 09:18 422  
[ ]be_le_le2.con.xml.gz2004-04-08 09:19 430  
[ ]be_eq_le.con.xml.gz2004-04-08 09:18 431  
[ ]length_lx_eq_lx'.con.xml.gz2004-04-08 09:19 431  
[ ]be_le2_le.con.xml.gz2004-04-08 09:19 432  
[ ]be_eq_sym.con.xml.gz2004-04-08 09:18 436  
[ ]eval_be'.con.body.xml.gz2004-04-08 09:18 437  
[ ]neg_ok_inv.con.xml.gz2004-04-08 09:19 446  
[ ]bool_fun_replace.con.body.xml.gz2004-04-08 09:18 447  
[ ]var_env_to_env'.con.body.xml.gz2004-04-08 09:18 448  
[ ]bool_fun_or_ext.con.xml.gz2004-04-08 09:18 449  
[ ]bool_fun_and_ext.con.xml.gz2004-04-08 09:18 451  
[ ]bool_fun_iff_ext.con.xml.gz2004-04-08 09:18 451  
[ ]bool_fun_impl_ext.con.xml.gz2004-04-08 09:18 453  
[ ]BDDex_list_OK.con.types.xml.gz2004-04-08 09:18 455  
[ ]BDDuniv_list_OK.con.types.xml.gz2004-04-08 09:18 458  
[ ]BDDex_config_OK.con.xml.gz2004-04-08 09:18 462  
[ ]BDDreplace_list_OK.con.types.xml.gz2004-04-08 09:18 463  
[ ]replace.con.body.xml.gz2004-04-08 09:18 466  
[ ]bool_fun_mu_ex.con.body.xml.gz2004-04-08 09:19 467  
[ ]BDDuniv_config_OK.con.xml.gz2004-04-08 09:18 469  
[ ]bool_fun_mu_all.con.body.xml.gz2004-04-08 09:19 469  
[ ]be_le_antisym.con.xml.gz2004-04-08 09:18 475  
[ ]restrict.con.body.xml.gz2004-04-08 09:18 475  
[ ]be_le_trans.con.xml.gz2004-04-08 09:18 478  
[ ]BDDsubst.con.xml.gz2004-04-08 09:18 479  
[ ]be_eq_trans.con.xml.gz2004-04-08 09:18 479  
[ ]BDDexl.con.xml.gz2004-04-08 09:18 480  
[ ]BDDreplace_config_OK.con.xml.gz2004-04-08 09:18 480  
[ ]bool_fun_restrict1.con.body.xml.gz2004-04-08 09:18 481  
[ ]bool_fun_subst.con.body.xml.gz2004-04-08 09:18 481  
[ ]bool_to_be_to_bf.con.xml.gz2004-04-08 09:18 481  
[ ]var_env''_to_env.con.body.xml.gz2004-04-08 09:18 481  
[ ]BDDex_list_OK.con.xml.gz2004-04-08 09:18 482  
[ ]BDDunivl.con.xml.gz2004-04-08 09:18 483  
[ ]bool_to_be.con.body.xml.gz2004-04-08 09:18 484  
[ ]bool_fun_subst1.con.body.xml.gz2004-04-08 09:18 486  
[ ]mu_ex_eval.con.body.xml.gz2004-04-08 09:19 486  
[ ]neg_eq_eq.con.xml.gz2004-04-08 09:19 486  
[ ]ap'_eq_ap.con.body.xml.gz2004-04-08 09:19 487  
[ ]ap'_eq_ap.con.xml.gz2004-04-08 09:19 488  
[ ]be_le_not_1.con.xml.gz2004-04-08 09:18 488  
[ ]eq_neg_eq.con.xml.gz2004-04-08 09:19 489  
[ ]BDDuniv_list_OK.con.xml.gz2004-04-08 09:18 490  
[ ]be_eq_refl.con.body.xml.gz2004-04-08 09:18 490  
[ ]mu_all_eval.con.body.xml.gz2004-04-08 09:19 491  
[ ]BDDreplace_list_OK.con.xml.gz2004-04-08 09:18 495  
[ ]be_ex.con.body.xml.gz2004-04-08 09:18 495  
[ ]BDDexl_list_OK.con.types.xml.gz2004-04-08 09:18 498  
[ ]forall_.con.body.xml.gz2004-04-08 09:18 498  
[ ]ex_OK.con.xml.gz2004-04-08 09:18 499  
[ ]BDDex_node_OK.con.xml.gz2004-04-08 09:18 501  
[ ]BDDunivl_list_OK.con.types.xml.gz2004-04-08 09:18 504  
[ ]BDDreplacel.con.xml.gz2004-04-08 09:18 505  
[ ]forall_OK.con.xml.gz2004-04-08 09:18 507  
[ ]var_env''_to_env'.con.body.xml.gz2004-04-08 09:18 507  
[ ]BDDuniv_node_OK.con.xml.gz2004-04-08 09:18 509  
[ ]BDDreplace_node_OK.con.xml.gz2004-04-08 09:18 510  
[ ]BDDsubst_list_OK.con.types.xml.gz2004-04-08 09:18 511  
[ ]BDDmu_all_list_OK.con.types.xml.gz2004-04-08 09:19 512  
[ ]ex_le2.con.xml.gz2004-04-08 09:19 512  
[ ]mu_ex_eq.con.xml.gz2004-04-08 09:19 512  
[ ]mu_ex_le.con.xml.gz2004-04-08 09:19 512  
[ ]or_ok_inv.con.xml.gz2004-04-08 09:19 512  
[ ]BDDex_used_nodes_preserved.con.xml.gz2004-04-08 09:18 513  
[ ]BDDmu_ex_list_OK.con.types.xml.gz2004-04-08 09:19 513  
[ ]and_ok_inv.con.xml.gz2004-04-08 09:19 513  
[ ]iff_ok_inv.con.xml.gz2004-04-08 09:19 513  
[ ]mu_all_eq.con.xml.gz2004-04-08 09:19 514  
[ ]mu_all_le.con.xml.gz2004-04-08 09:19 514  
[ ]BDDreplacel_list_OK.con.types.xml.gz2004-04-08 09:18 515  
[ ]impl_ok_inv.con.xml.gz2004-04-08 09:19 515  
[ ]BDDuniv.con.body.xml.gz2004-04-08 09:18 516  
[ ]be_eq_dec_eq.con.xml.gz2004-04-08 09:18 517  
[ ]impl_le2.con.xml.gz2004-04-08 09:19 518  
[ ]BDDexl_config_OK.con.xml.gz2004-04-08 09:18 519  
[ ]be_le_refl.con.body.xml.gz2004-04-08 09:18 519  
[ ]mu_all_le2.con.xml.gz2004-04-08 09:19 519  
[ ]mu_ex_le2.con.xml.gz2004-04-08 09:19 520  
[ ]univ_le2.con.xml.gz2004-04-08 09:19 520  
[ ]BDDunivl_config_OK.con.xml.gz2004-04-08 09:18 521  
[ ]be_eq_eq_dec.con.xml.gz2004-04-08 09:18 521  
[ ]mu_ex_eval_ok.con.xml.gz2004-04-08 09:19 521  
[ ]mu_all_eval_ok.con.xml.gz2004-04-08 09:19 523  
[ ]BDDuniv_used_nodes_preserved.con.xml.gz2004-04-08 09:18 524  
[ ]lx_neq_lx'.con.types.xml.gz2004-04-08 09:19 524  
[ ]BDDreplace_used_nodes_preserved.con.xml.gz2004-04-08 09:18 525  
[ ]var_ok_inv.con.xml.gz2004-04-08 09:19 525  
[ ]BDDexl_list_OK.con.xml.gz2004-04-08 09:18 526  
[ ]bool_to_bf.con.body.xml.gz2004-04-08 09:18 526  
[ ]BDDex_list_OK.con.body.xml.gz2004-04-08 09:18 529  
[ ]BDDunivl_list_OK.con.xml.gz2004-04-08 09:18 529  
[ ]BDDmu_ex.con.xml.gz2004-04-08 09:19 530  
[ ]bool_fun_restrict1_eq_restrict.con.xml.gz2004-04-08 09:18 530  
[ ]BDDmu_all.con.xml.gz2004-04-08 09:19 531  
[ ]bool_fun_subst1_eq_subst.con.xml.gz2004-04-08 09:18 531  
[ ]be_eq.con.body.xml.gz2004-04-08 09:18 533  
[ ]BDDsubst_config_OK.con.xml.gz2004-04-08 09:18 535  
[ ]replace_OK.con.xml.gz2004-04-08 09:18 535  
[ ]BDDmu_all_config_OK.con.xml.gz2004-04-08 09:19 537  
[ ]BDDmu_ex_config_OK.con.xml.gz2004-04-08 09:19 537  
[ ]BDDuniv_list_OK.con.body.xml.gz2004-04-08 09:18 537  
[ ]BDDreplace_list_OK.con.body.xml.gz2004-04-08 09:18 541  
[ ]BDDsubst_list_OK.con.xml.gz2004-04-08 09:18 543  
[ ]subst_le2.con.xml.gz2004-04-08 09:19 543  
[ ]subst_ok.con.xml.gz2004-04-08 09:18 543  
[ ]BDDreplacel_config_OK.con.xml.gz2004-04-08 09:18 544  
[ ]replace_le2.con.xml.gz2004-04-08 09:19 545  
[ ]BDDmu_ex_list_OK.con.xml.gz2004-04-08 09:19 546  
[ ]lx_1_neg_lx'_1.con.xml.gz2004-04-08 09:19 546  
[ ]BDDmu_all_list_OK.con.xml.gz2004-04-08 09:19 549  
[ ]BDDreplacel_list_OK.con.xml.gz2004-04-08 09:18 550  
[ ]ap_neq_ap'.con.xml.gz2004-04-08 09:19 550  
[ ]bool_fun_restrict_eq_subst.con.xml.gz2004-04-08 09:18 551  
[ ]in_lx'_1.con.xml.gz2004-04-08 09:19 552  
[ ]bool_fun_replace_preserves_eq.con.xml.gz2004-04-08 09:18 553  
[ ]restrict_OK.con.xml.gz2004-04-08 09:18 557  
[ ]BDDex_list_OK_cons.con.body.xml.gz2004-04-08 09:18 558  
[ ]be_eq_dec_complete.con.xml.gz2004-04-08 09:18 558  
[ ]length_lx_1_eq_lx'_1.con.xml.gz2004-04-08 09:19 558  
[ ]lt_O_n_lx'_1.con.xml.gz2004-04-08 09:19 558  
[ ]or_eq.con.xml.gz2004-04-08 09:19 558  
[ ]or_le.con.xml.gz2004-04-08 09:19 558  
[ ]and_eq.con.xml.gz2004-04-08 09:19 559  
[ ]BDDexl_used_nodes_preserved.con.xml.gz2004-04-08 09:18 560  
[ ]and_le.con.xml.gz2004-04-08 09:18 560  
[ ]iff_eq.con.xml.gz2004-04-08 09:19 560  
[ ]exl_OK.con.xml.gz2004-04-08 09:18 561  
[ ]impl_eq.con.xml.gz2004-04-08 09:19 561  
[ ]be_eq_dec_correct.con.xml.gz2004-04-08 09:18 562  
[ ]BDDunivl_used_nodes_preserved.con.xml.gz2004-04-08 09:18 563  
[ ]or_le2.con.xml.gz2004-04-08 09:19 563  
[ ]univl_OK.con.xml.gz2004-04-08 09:18 564  
[ ]BDDuniv_list_OK_cons.con.body.xml.gz2004-04-08 09:18 565  
[ ]length_lx_eq_lx'.con.types.xml.gz2004-04-08 09:19 565  
[ ]and_le2.con.xml.gz2004-04-08 09:19 566  
[ ]BDDreplace_list_OK_cons.con.body.xml.gz2004-04-08 09:18 569  
[ ]exl_le2.con.xml.gz2004-04-08 09:19 569  
[ ]impl_le.con.xml.gz2004-04-08 09:19 569  
[ ]bool_fun_mu_ex_preserves_eq.con.xml.gz2004-04-08 09:19 571  
[ ]BDDex_list_OK_cons.con.types.xml.gz2004-04-08 09:18 572  
[ ]bool_fun_mu_all_preserves_eq.con.xml.gz2004-04-08 09:19 573  
[ ]univl_le2.con.xml.gz2004-04-08 09:19 573  
[ ]BDDuniv_list_OK_cons.con.types.xml.gz2004-04-08 09:18 575  
[ ]BDDsubst_used_nodes_preserved.con.xml.gz2004-04-08 09:18 576  
[ ]BDDexl_list_OK.con.body.xml.gz2004-04-08 09:18 577  
[ ]BDDmu_ex_used_nodes_preserved.con.xml.gz2004-04-08 09:19 581  
[ ]BDDreplace_list_OK_cons.con.types.xml.gz2004-04-08 09:18 581  
[ ]BDDunivl_list_OK.con.body.xml.gz2004-04-08 09:18 581  
[ ]replace_le2.con.body.xml.gz2004-04-08 09:19 581  
[ ]BDDexl_node_OK.con.xml.gz2004-04-08 09:18 583  
[ ]BDDmu_all_used_nodes_preserved.con.xml.gz2004-04-08 09:19 583  
[ ]be_le2.con.body.xml.gz2004-04-08 09:19 584  
[ ]BDDreplacel_used_nodes_preserved.con.xml.gz2004-04-08 09:18 586  
[ ]BDDunivl_node_OK.con.xml.gz2004-04-08 09:18 586  
[ ]be_le.con.body.xml.gz2004-04-08 09:18 586  
[ ]be_ok_be_x_free.con.xml.gz2004-04-08 09:19 587  
[ ]bool_fun_var_ext.con.body.xml.gz2004-04-08 09:18 587  
[ ]bool_fun_exl_preserves_eq.con.xml.gz2004-04-08 09:19 594  
[ ]BDDsubst_list_OK.con.body.xml.gz2004-04-08 09:18 595  
[ ]BDDex_is_ex.con.xml.gz2004-04-08 09:18 596  
[ ]BDDex_list_OK_cons.con.xml.gz2004-04-08 09:18 597  
[ ]BDDmu_ex_list_OK.con.body.xml.gz2004-04-08 09:19 597  
[ ]bool_fun_subst_preserves_eq.con.xml.gz2004-04-08 09:18 598  
[ ]bool_fun_univl_preserves_eq.con.xml.gz2004-04-08 09:19 598  
[ ]be_eq_dec.con.body.xml.gz2004-04-08 09:18 599  
[ ]BDDmu_all_list_OK.con.body.xml.gz2004-04-08 09:19 600  
[ ]BDDreplacel_list_OK.con.body.xml.gz2004-04-08 09:18 602  
[ ]replacel_OK.con.xml.gz2004-04-08 09:18 603  
[ ]BDDuniv_list_OK_cons.con.xml.gz2004-04-08 09:18 605  
[ ]mu_ex_le.con.body.xml.gz2004-04-08 09:19 607  
[ ]BDDreplace_list_OK_cons.con.xml.gz2004-04-08 09:18 609  
[ ]mu_all_le.con.body.xml.gz2004-04-08 09:19 609  
[ ]BDDuniv_is_univ.con.xml.gz2004-04-08 09:18 610  
[ ]BDDsubst_node_OK.con.xml.gz2004-04-08 09:18 613  
[ ]be_x_free_be_ok.con.xml.gz2004-04-08 09:19 613  
[ ]BDDmu_ex_node_OK.con.xml.gz2004-04-08 09:19 614  
[ ]BDDmu_all_node_OK.con.xml.gz2004-04-08 09:19 616  
[ ]BDDreplacel_node_OK.con.xml.gz2004-04-08 09:18 616  
[ ]BDDreplace_is_replace.con.xml.gz2004-04-08 09:18 619  
[ ]replacel_le2.con.xml.gz2004-04-08 09:19 619  
[ ]BDDexl_list_OK_cons.con.body.xml.gz2004-04-08 09:18 626  
[ ]BDDunivl_list_OK_cons.con.body.xml.gz2004-04-08 09:18 629  
[ ]bool_fun_replace_preserves_eq.con.body.xml.gz2004-04-08 09:18 635  
[ ]BDDuniv_var_le.con.xml.gz2004-04-08 09:18 638  
[ ]bool_fun_replacel_preserves_eq.con.xml.gz2004-04-08 09:19 644  
[ ]in_lx'.con.xml.gz2004-04-08 09:19 644  
[ ]in_lx'_1_conv.con.xml.gz2004-04-08 09:19 647  
[ ]be_le_refl.con.types.xml.gz2004-04-08 09:18 649  
[ ]BDDexl_list_OK_cons.con.types.xml.gz2004-04-08 09:18 650  
[ ]BDDsubst_list_OK_cons.con.body.xml.gz2004-04-08 09:18 653  
[ ]BDDunivl_list_OK_cons.con.types.xml.gz2004-04-08 09:18 653  
[ ]BDDmu_ex_list_OK_cons.con.body.xml.gz2004-04-08 09:19 655  
[ ]BDDmu_all_list_OK_cons.con.body.xml.gz2004-04-08 09:19 658  
[ ]bool_to_be_to_bf.con.body.xml.gz2004-04-08 09:18 660  
[ ]BDDreplacel_list_OK_cons.con.body.xml.gz2004-04-08 09:18 663  
[ ]and_x_free.con.xml.gz2004-04-08 09:18 663  
[ ]BDDsubst_list_OK_cons.con.types.xml.gz2004-04-08 09:18 664  
[ ]impl_x_free.con.xml.gz2004-04-08 09:18 665  
[ ]BDDmu_ex_list_OK_cons.con.types.xml.gz2004-04-08 09:19 668  
[ ]BDDmu_all_list_OK_cons.con.types.xml.gz2004-04-08 09:19 670  
[ ]BDDreplacel_list_OK_cons.con.types.xml.gz2004-04-08 09:18 670  
[ ]BDDexl_is_exl.con.xml.gz2004-04-08 09:18 671  
[ ]be_eq_refl.con.types.xml.gz2004-04-08 09:18 672  
[ ]BDDexl_list_OK_cons.con.xml.gz2004-04-08 09:18 677  
[ ]BDDunivl_is_univl.con.xml.gz2004-04-08 09:18 677  
[ ]BDDunivl_list_OK_cons.con.xml.gz2004-04-08 09:18 680  
[ ]ex_x_free.con.xml.gz2004-04-08 09:18 680  
[ ]ap'_eq_ap.con.types.xml.gz2004-04-08 09:19 686  
[ ]univ_x_free.con.xml.gz2004-04-08 09:18 690  
[ ]mu_ex_le.con.types.xml.gz2004-04-08 09:19 691  
[ ]mu_all_le.con.types.xml.gz2004-04-08 09:19 693  
[ ]BDDsubst_list_OK_cons.con.xml.gz2004-04-08 09:18 703  
[ ]BDDmu_ex_list_OK_cons.con.xml.gz2004-04-08 09:19 708  
[ ]restrict_x_free.con.xml.gz2004-04-08 09:18 709  
[ ]BDDmu_all_list_OK_cons.con.xml.gz2004-04-08 09:19 711  
[ ]ex_OK.con.body.xml.gz2004-04-08 09:18 713  
[ ]BDDmu_ex_is_mu_ex.con.xml.gz2004-04-08 09:19 715  
[ ]BDDreplacel_is_replacel.con.xml.gz2004-04-08 09:18 715  
[ ]BDDmu_all_is_mu_all.con.xml.gz2004-04-08 09:19 717  
[ ]BDDreplacel_list_OK_cons.con.xml.gz2004-04-08 09:18 717  
[ ]forall_OK.con.body.xml.gz2004-04-08 09:18 721  
[ ]BDDsubst_is_subst1.con.xml.gz2004-04-08 09:18 725  
[ ]BDDsubst_is_subst.con.xml.gz2004-04-08 09:18 728  
[ ]mu_all_le2.con.body.xml.gz2004-04-08 09:19 760  
[ ]exl_x_free.con.xml.gz2004-04-08 09:18 765  
[ ]univl_x_free.con.xml.gz2004-04-08 09:18 768  
[ ]ex_le2.con.body.xml.gz2004-04-08 09:19 778  
[ ]univ_le2.con.body.xml.gz2004-04-08 09:19 782  
[ ]replace_le2.con.types.xml.gz2004-04-08 09:19 783  
[ ]replace_x_free.con.xml.gz2004-04-08 09:18 787  
[ ]subst_x_free.con.xml.gz2004-04-08 09:18 787  
[ ]be_le2_le.con.body.xml.gz2004-04-08 09:19 789  
[ ]bool_fun_replace_preserves_eq.con.types.xml.gz2004-04-08 09:18 821  
[ ]BDDsubst_is_subst.con.types.xml.gz2004-04-08 09:18 826  
[ ]BDDreplace.con.body.xml.gz2004-04-08 09:18 829  
[ ]lx_1.con.body.xml.gz2004-04-08 09:19 831  
[ ]bool_fun_mu_ex_preserves_eq.con.body.xml.gz2004-04-08 09:19 833  
[ ]bool_to_be_to_bf.con.types.xml.gz2004-04-08 09:18 835  
[ ]bool_fun_mu_all_preserves_eq.con.body.xml.gz2004-04-08 09:19 836  
[ ]lx'_1.con.body.xml.gz2004-04-08 09:19 843  
[ ]exl.con.body.xml.gz2004-04-08 09:18 851  
[ ]be_eq_le.con.body.xml.gz2004-04-08 09:18 856  
[ ]univl.con.body.xml.gz2004-04-08 09:18 856  
[ ]be_eq_sym.con.body.xml.gz2004-04-08 09:18 864  
[ ]bool_fun_exl.con.body.xml.gz2004-04-08 09:18 865  
[ ]bool_fun_univl.con.body.xml.gz2004-04-08 09:18 870  
[ ]bool_fun_var_ext.con.types.xml.gz2004-04-08 09:18 883  
[ ]bool_fun_restrict_eq_subst.con.body.xml.gz2004-04-08 09:18 891  
[ ]replace_OK.con.body.xml.gz2004-04-08 09:18 906  
[ ]BDDsubst_is_subst.con.body.xml.gz2004-04-08 09:18 910  
[ ]be_le_trans.con.body.xml.gz2004-04-08 09:18 910  
[ ]mu_ex_x_free.con.xml.gz2004-04-08 09:19 917  
[ ]be_eq_trans.con.body.xml.gz2004-04-08 09:18 918  
[ ]mu_all_x_free.con.xml.gz2004-04-08 09:19 919  
[ ]mu_ex_le2.con.body.xml.gz2004-04-08 09:19 957  
[ ]mu_all_le2.con.types.xml.gz2004-04-08 09:19 1.0K 
[ ]replacel_x_free.con.xml.gz2004-04-08 09:18 1.0K 
[ ]eq_neg_eq.con.body.xml.gz2004-04-08 09:19 1.0K 
[ ]bool_fun_restrict1_eq_restrict.con.body.xml.gz2004-04-08 09:18 1.0K 
[ ]bool_fun_mu_ex_preserves_eq.con.types.xml.gz2004-04-08 09:19 1.0K 
[ ]be_eq_le.con.types.xml.gz2004-04-08 09:18 1.0K 
[ ]bool_fun_mu_all_preserves_eq.con.types.xml.gz2004-04-08 09:19 1.0K 
[ ]be_eq_sym.con.types.xml.gz2004-04-08 09:18 1.0K 
[ ]ex_OK.con.types.xml.gz2004-04-08 09:18 1.0K 
[ ]forall_OK.con.types.xml.gz2004-04-08 09:18 1.0K 
[ ]bool_fun_subst_preserves_eq.con.body.xml.gz2004-04-08 09:18 1.1K 
[ ]bool_fun_neg_ext.con.body.xml.gz2004-04-08 09:18 1.1K 
[ ]impl_le2.con.body.xml.gz2004-04-08 09:19 1.1K 
[ ]replacel.con.body.xml.gz2004-04-08 09:18 1.1K 
[ ]BDDexl_config_OK.con.types.xml.gz2004-04-08 09:18 1.1K 
[ ]BDDex.con.body.xml.gz2004-04-08 09:18 1.1K 
[ ]BDDunivl_config_OK.con.types.xml.gz2004-04-08 09:18 1.1K 
[ ]bool_fun_replacel.con.body.xml.gz2004-04-08 09:18 1.1K 
[ ]ex_le2.con.types.xml.gz2004-04-08 09:19 1.1K 
[ ]be_x_free.con.body.xml.gz2004-04-08 09:18 1.1K 
[ ]ad_list_neq.con.body.xml.gz2004-04-08 09:18 1.1K 
[ ]univ_le2.con.types.xml.gz2004-04-08 09:19 1.1K 
[ ]restrict_OK.con.body.xml.gz2004-04-08 09:18 1.2K 
[ ]mu_ex_le2.con.types.xml.gz2004-04-08 09:19 1.2K 
[ ]mu_ex_eval_ok.con.body.xml.gz2004-04-08 09:19 1.2K 
[ ]be_ok.ind.xml.gz2004-04-08 09:19 1.2K 
[ ]exl_le2.con.body.xml.gz2004-04-08 09:19 1.2K 
[ ]univl_le2.con.body.xml.gz2004-04-08 09:19 1.2K 
[ ]mu_all_eval_ok.con.body.xml.gz2004-04-08 09:19 1.2K 
[ ]bool_fun_exl_preserves_eq.con.body.xml.gz2004-04-08 09:19 1.2K 
[ ]bool_fun_univl_preserves_eq.con.body.xml.gz2004-04-08 09:19 1.2K 
[ ]replace_OK.con.types.xml.gz2004-04-08 09:18 1.2K 
[ ]BDDreplacel_config_OK.con.types.xml.gz2004-04-08 09:18 1.2K 
[ ]BDDmu_ex_config_OK.con.types.xml.gz2004-04-08 09:19 1.2K 
[ ]BDDmu_all_config_OK.con.types.xml.gz2004-04-08 09:19 1.2K 
[ ]BDDexl_config_OK.con.body.xml.gz2004-04-08 09:18 1.2K 
[ ]BDDunivl_config_OK.con.body.xml.gz2004-04-08 09:18 1.2K 
[ ]BDDsubst_config_OK.con.types.xml.gz2004-04-08 09:18 1.3K 
[ ]length_lx_1_eq_lx'_1.con.body.xml.gz2004-04-08 09:19 1.3K 
[ ]be_le2_le.con.types.xml.gz2004-04-08 09:19 1.3K 
[ ]be_eq_trans.con.types.xml.gz2004-04-08 09:18 1.3K 
[ ]bool_fun_of_be_ext.con.body.xml.gz2004-04-08 09:18 1.3K 
[ ]mu_ex_eq.con.body.xml.gz2004-04-08 09:19 1.3K 
[ ]mu_all_eq.con.body.xml.gz2004-04-08 09:19 1.3K 
[ ]and_x_free.con.body.xml.gz2004-04-08 09:18 1.3K 
[ ]impl_x_free.con.body.xml.gz2004-04-08 09:18 1.3K 
[ ]subst.con.body.xml.gz2004-04-08 09:18 1.3K 
[ ]be_le_trans.con.types.xml.gz2004-04-08 09:18 1.3K 
[ ]BDDsubst_config_OK.con.body.xml.gz2004-04-08 09:18 1.3K 
[ ]BDDreplacel_config_OK.con.body.xml.gz2004-04-08 09:18 1.3K 
[ ]bool_fun_neg_ext.con.types.xml.gz2004-04-08 09:18 1.3K 
[ ]restrict_OK.con.types.xml.gz2004-04-08 09:18 1.3K 
[ ]BDDmu_ex.con.body.xml.gz2004-04-08 09:19 1.3K 
[ ]BDDmu_all.con.body.xml.gz2004-04-08 09:19 1.3K 
[ ]BDDmu_ex_config_OK.con.body.xml.gz2004-04-08 09:19 1.4K 
[ ]BDDmu_all_config_OK.con.body.xml.gz2004-04-08 09:19 1.4K 
[ ]BDDexl_lemma.con.xml.gz2004-04-08 09:18 1.4K 
[ ]BDDunivl_lemma.con.xml.gz2004-04-08 09:18 1.4K 
[ ]mu_ex_eq.con.types.xml.gz2004-04-08 09:19 1.4K 
[ ]mu_all_eq.con.types.xml.gz2004-04-08 09:19 1.4K 
[ ]BDDexl.con.body.xml.gz2004-04-08 09:18 1.4K 
[ ]be_ok_ind.con.xml.gz2004-04-08 09:19 1.4K 
[ ]BDDunivl.con.body.xml.gz2004-04-08 09:18 1.4K 
[ ]eq_neg_eq.con.types.xml.gz2004-04-08 09:19 1.4K 
[ ]length_lx_1_eq_lx'_1.con.types.xml.gz2004-04-08 09:19 1.4K 
[ ]bool_fun_restrict_eq_subst.con.types.xml.gz2004-04-08 09:18 1.5K 
[ ]BDDsubst_lemma.con.xml.gz2004-04-08 09:18 1.5K 
[ ]neg_eq_eq.con.body.xml.gz2004-04-08 09:19 1.5K 
[ ]bool_fun_or_ext.con.body.xml.gz2004-04-08 09:18 1.5K 
[ ]bool_fun_iff_ext.con.body.xml.gz2004-04-08 09:18 1.5K 
[ ]BDDreplacel_lemma.con.xml.gz2004-04-08 09:18 1.5K 
[ ]bool_fun_and_ext.con.body.xml.gz2004-04-08 09:18 1.5K 
[ ]bool_fun_impl_ext.con.body.xml.gz2004-04-08 09:18 1.6K 
[ ]or_eq.con.body.xml.gz2004-04-08 09:19 1.6K 
[ ]and_eq.con.body.xml.gz2004-04-08 09:19 1.6K 
[ ]iff_eq.con.body.xml.gz2004-04-08 09:19 1.6K 
[ ]impl_eq.con.body.xml.gz2004-04-08 09:19 1.6K 
[ ]BDDexl_node_OK.con.types.xml.gz2004-04-08 09:18 1.6K 
[ ]BDDunivl_node_OK.con.types.xml.gz2004-04-08 09:18 1.6K 
[ ]BDDmu_ex_lemma.con.xml.gz2004-04-08 09:19 1.6K 
[ ]BDDmu_all_lemma.con.xml.gz2004-04-08 09:19 1.6K 
[ ]lx_1_neg_lx'_1.con.body.xml.gz2004-04-08 09:19 1.6K 
[ ]mu_ex_eval_ok.con.types.xml.gz2004-04-08 09:19 1.6K 
[ ]mu_all_eval_ok.con.types.xml.gz2004-04-08 09:19 1.6K 
[ ]BDDsubst.con.body.xml.gz2004-04-08 09:18 1.6K 
[ ]bool_fun_restrict1_eq_restrict.con.types.xml.gz2004-04-08 09:18 1.7K 
[ ]exl_le2.con.types.xml.gz2004-04-08 09:19 1.7K 
[ ]univl_le2.con.types.xml.gz2004-04-08 09:19 1.7K 
[ ]neg_eq_eq.con.types.xml.gz2004-04-08 09:19 1.7K 
[ ]bool_fun_exl_preserves_eq.con.types.xml.gz2004-04-08 09:19 1.8K 
[ ]BDDexl_node_OK.con.body.xml.gz2004-04-08 09:18 1.8K 
[ ]BDDunivl_node_OK.con.body.xml.gz2004-04-08 09:18 1.8K 
[ ]bool_fun_univl_preserves_eq.con.types.xml.gz2004-04-08 09:19 1.8K 
[ ]and_le2.con.body.xml.gz2004-04-08 09:19 1.8K 
[ ]BDDmu_ex_node_OK.con.types.xml.gz2004-04-08 09:19 1.8K 
[ ]BDDmu_all_node_OK.con.types.xml.gz2004-04-08 09:19 1.8K 
[ ]BDDreplacel.con.body.xml.gz2004-04-08 09:18 1.8K 
[ ]BDDreplacel_node_OK.con.types.xml.gz2004-04-08 09:18 1.8K 
[ ]BDDsubst_node_OK.con.types.xml.gz2004-04-08 09:18 1.8K 
[ ]and_x_free.con.types.xml.gz2004-04-08 09:18 1.8K 
[ ]impl_x_free.con.types.xml.gz2004-04-08 09:18 1.8K 
[ ]in_lx'.con.body.xml.gz2004-04-08 09:19 1.8K 
[ ]BDDexl_used_nodes_preserved.con.types.xml.gz2004-04-08 09:18 1.9K 
[ ]BDDexl_is_exl.con.types.xml.gz2004-04-08 09:18 1.9K 
[ ]BDDunivl_used_nodes_preserved.con.types.xml.gz2004-04-08 09:18 1.9K 
[ ]BDDunivl_is_univl.con.types.xml.gz2004-04-08 09:18 1.9K 
[ ]bool_fun_subst_preserves_eq.con.types.xml.gz2004-04-08 09:18 1.9K 
[ ]in_lx'.con.types.xml.gz2004-04-08 09:19 1.9K 
[ ]BDDreplacel_node_OK.con.body.xml.gz2004-04-08 09:18 1.9K 
[ ]BDDsubst_node_OK.con.body.xml.gz2004-04-08 09:18 1.9K 
[ ]exl_OK.con.body.xml.gz2004-04-08 09:18 1.9K 
[ ]univl_OK.con.body.xml.gz2004-04-08 09:18 1.9K 
[ ]BDDmu_ex_node_OK.con.body.xml.gz2004-04-08 09:19 1.9K 
[ ]BDDmu_all_node_OK.con.body.xml.gz2004-04-08 09:19 1.9K 
[ ]bool_fun_of_be_ext.con.types.xml.gz2004-04-08 09:18 1.9K 
[ ]in_lx'_1.con.body.xml.gz2004-04-08 09:19 2.0K 
[ ]be_le_le2.con.body.xml.gz2004-04-08 09:19 2.0K 
[ ]replace_x_free.con.body.xml.gz2004-04-08 09:18 2.0K 
[ ]lt_O_n_lx'_1.con.body.xml.gz2004-04-08 09:19 2.0K 
[ ]bool_fun_or_ext.con.types.xml.gz2004-04-08 09:18 2.0K 
[ ]bool_fun_and_ext.con.types.xml.gz2004-04-08 09:18 2.0K 
[ ]bool_fun_iff_ext.con.types.xml.gz2004-04-08 09:18 2.0K 
[ ]bool_fun_impl_ext.con.types.xml.gz2004-04-08 09:18 2.0K 
[ ]and_le.con.body.xml.gz2004-04-08 09:18 2.0K 
[ ]BDDmu_ex_used_nodes_preserved.con.types.xml.gz2004-04-08 09:19 2.1K 
[ ]lx_1_neg_lx'_1.con.types.xml.gz2004-04-08 09:19 2.1K 
[ ]BDDmu_all_used_nodes_preserved.con.types.xml.gz2004-04-08 09:19 2.1K 
[ ]BDDreplacel_used_nodes_preserved.con.types.xml.gz2004-04-08 09:18 2.1K 
[ ]impl_le2.con.types.xml.gz2004-04-08 09:19 2.1K 
[ ]BDDsubst_used_nodes_preserved.con.types.xml.gz2004-04-08 09:18 2.1K 
[ ]or_le2.con.body.xml.gz2004-04-08 09:19 2.1K 
[ ]BDDreplacel_is_replacel.con.types.xml.gz2004-04-08 09:18 2.1K 
[ ]BDDmu_ex_is_mu_ex.con.types.xml.gz2004-04-08 09:19 2.1K 
[ ]BDDmu_all_is_mu_all.con.types.xml.gz2004-04-08 09:19 2.2K 
[ ]BDDuniv_config_OK.con.types.xml.gz2004-04-08 09:18 2.2K 
[ ]BDDexl_is_exl.con.body.xml.gz2004-04-08 09:18 2.2K 
[ ]BDDunivl_is_univl.con.body.xml.gz2004-04-08 09:18 2.2K 
[ ]BDDexl_used_nodes_preserved.con.body.xml.gz2004-04-08 09:18 2.2K 
[ ]BDDunivl_used_nodes_preserved.con.body.xml.gz2004-04-08 09:18 2.2K 
[ ]BDDsubst_is_subst1.con.types.xml.gz2004-04-08 09:18 2.2K 
[ ]replacel_le2.con.body.xml.gz2004-04-08 09:19 2.2K 
[ ]BDDuniv_config_OK.con.body.xml.gz2004-04-08 09:18 2.2K 
[ ]bool_fun_replacel_preserves_eq.con.body.xml.gz2004-04-08 09:19 2.2K 
[ ]in_lx'_1.con.types.xml.gz2004-04-08 09:19 2.3K 
[ ]or_eq.con.types.xml.gz2004-04-08 09:19 2.3K 
[ ]and_eq.con.types.xml.gz2004-04-08 09:19 2.3K 
[ ]iff_eq.con.types.xml.gz2004-04-08 09:19 2.3K 
[ ]impl_eq.con.types.xml.gz2004-04-08 09:19 2.3K 
[ ]subst_le2.con.body.xml.gz2004-04-08 09:19 2.3K 
[ ]BDDsubst_is_subst1.con.body.xml.gz2004-04-08 09:18 2.3K 
[ ]BDDsubst_used_nodes_preserved.con.body.xml.gz2004-04-08 09:18 2.3K 
[ ]BDDreplacel_is_replacel.con.body.xml.gz2004-04-08 09:18 2.3K 
[ ]BDDmu_ex_is_mu_ex.con.body.xml.gz2004-04-08 09:19 2.3K 
[ ]BDDreplacel_used_nodes_preserved.con.body.xml.gz2004-04-08 09:18 2.3K 
[ ]BDDmu_all_is_mu_all.con.body.xml.gz2004-04-08 09:19 2.3K 
[ ]be_le_le2.con.types.xml.gz2004-04-08 09:19 2.3K 
[ ]BDDmu_ex_used_nodes_preserved.con.body.xml.gz2004-04-08 09:19 2.4K 
[ ]BDDmu_all_used_nodes_preserved.con.body.xml.gz2004-04-08 09:19 2.4K 
[ ]lt_O_n_lx'_1.con.types.xml.gz2004-04-08 09:19 2.4K 
[ ]be_le_not_1.con.body.xml.gz2004-04-08 09:18 2.4K 
[ ]subst_le2.con.types.xml.gz2004-04-08 09:19 2.4K 
[ ]restrict_x_free.con.body.xml.gz2004-04-08 09:18 2.4K 
[ ]or_le.con.body.xml.gz2004-04-08 09:19 2.4K 
[ ]be_le_antisym.con.types.xml.gz2004-04-08 09:18 2.4K 
[ ]ex_x_free.con.body.xml.gz2004-04-08 09:18 2.4K 
[ ]univ_x_free.con.body.xml.gz2004-04-08 09:18 2.4K 
[ ]be_eq_dec_correct.con.body.xml.gz2004-04-08 09:18 2.5K 
[ ]exl_OK.con.types.xml.gz2004-04-08 09:18 2.5K 
[ ]univl_OK.con.types.xml.gz2004-04-08 09:18 2.5K 
[ ]be_eq_dec_complete.con.body.xml.gz2004-04-08 09:18 2.7K 
[ ]be_eq_dec_eq.con.body.xml.gz2004-04-08 09:18 2.7K 
[ ]and_le2.con.types.xml.gz2004-04-08 09:19 2.7K 
[ ]be_le_antisym.con.body.xml.gz2004-04-08 09:18 2.8K 
[ ]be_ok_ind.con.types.xml.gz2004-04-08 09:19 2.8K 
[ ]be_ok_ind.con.body.xml.gz2004-04-08 09:19 2.8K 
[ ]univ_x_free.con.types.xml.gz2004-04-08 09:18 2.9K 
[ ]be_le_not_1.con.types.xml.gz2004-04-08 09:18 2.9K 
[ ]replacel_OK.con.body.xml.gz2004-04-08 09:18 2.9K 
[ ]and_le.con.types.xml.gz2004-04-08 09:18 2.9K 
[ ]replace_x_free.con.types.xml.gz2004-04-08 09:18 2.9K 
[ ]ex_x_free.con.types.xml.gz2004-04-08 09:18 3.1K 
[ ]or_le2.con.types.xml.gz2004-04-08 09:19 3.2K 
[ ]be_eq_dec_correct.con.types.xml.gz2004-04-08 09:18 3.3K 
[ ]replacel_le2.con.types.xml.gz2004-04-08 09:19 3.4K 
[ ]BDDuniv_node_OK.con.types.xml.gz2004-04-08 09:18 3.4K 
[ ]bool_fun_replacel_preserves_eq.con.types.xml.gz2004-04-08 09:19 3.4K 
[ ]BDDuniv_node_OK.con.body.xml.gz2004-04-08 09:18 3.5K 
[ ]restrict_x_free.con.types.xml.gz2004-04-08 09:18 3.5K 
[ ]or_le.con.types.xml.gz2004-04-08 09:19 3.6K 
[ ]in_lx'_1_conv.con.body.xml.gz2004-04-08 09:19 3.6K 
[ ]mu_ex_x_free.con.body.xml.gz2004-04-08 09:19 3.7K 
[ ]mu_all_x_free.con.body.xml.gz2004-04-08 09:19 3.7K 
[ ]be_eq_dec_complete.con.types.xml.gz2004-04-08 09:18 3.7K 
[ ]be_eq_dec_eq.con.types.xml.gz2004-04-08 09:18 3.9K 
[ ]BDDuniv_used_nodes_preserved.con.types.xml.gz2004-04-08 09:18 4.1K 
[ ]mu_ex_x_free.con.types.xml.gz2004-04-08 09:19 4.2K 
[ ]mu_all_x_free.con.types.xml.gz2004-04-08 09:19 4.2K 
[ ]in_lx'_1_conv.con.types.xml.gz2004-04-08 09:19 4.2K 
[ ]be_eq_eq_dec.con.body.xml.gz2004-04-08 09:18 4.3K 
[ ]replacel_OK.con.types.xml.gz2004-04-08 09:18 4.3K 
[ ]bool_fun_subst1_eq_subst.con.body.xml.gz2004-04-08 09:18 4.3K 
[ ]BDDuniv_used_nodes_preserved.con.body.xml.gz2004-04-08 09:18 4.4K 
[ ]impl_le.con.body.xml.gz2004-04-08 09:19 4.4K 
[ ]BDDuniv_var_le.con.types.xml.gz2004-04-08 09:18 4.8K 
[ ]BDDuniv_is_univ.con.types.xml.gz2004-04-08 09:18 4.9K 
[ ]impl_le.con.types.xml.gz2004-04-08 09:19 5.0K 
[ ]ap_neq_ap'.con.types.xml.gz2004-04-08 09:19 5.0K 
[ ]BDDuniv_is_univ.con.body.xml.gz2004-04-08 09:18 5.1K 
[ ]BDDuniv_var_le.con.body.xml.gz2004-04-08 09:18 5.1K 
[ ]BDDreplace_config_OK.con.types.xml.gz2004-04-08 09:18 5.5K 
[ ]exl_x_free.con.body.xml.gz2004-04-08 09:18 5.5K 
[ ]univl_x_free.con.body.xml.gz2004-04-08 09:18 5.6K 
[ ]be_eq_eq_dec.con.types.xml.gz2004-04-08 09:18 5.6K 
[ ]BDDreplace_config_OK.con.body.xml.gz2004-04-08 09:18 5.7K 
[ ]ap_neq_ap'.con.body.xml.gz2004-04-08 09:19 5.9K 
[ ]bool_fun_subst1_eq_subst.con.types.xml.gz2004-04-08 09:18 6.0K 
[ ]exl_x_free.con.types.xml.gz2004-04-08 09:18 6.6K 
[ ]univl_x_free.con.types.xml.gz2004-04-08 09:18 6.7K 
[ ]subst_ok.con.body.xml.gz2004-04-08 09:18 6.7K 
[ ]BDDreplace_used_nodes_preserved.con.types.xml.gz2004-04-08 09:18 6.7K 
[ ]BDDreplace_node_OK.con.body.xml.gz2004-04-08 09:18 6.7K 
[ ]be_x_free_be_ok.con.body.xml.gz2004-04-08 09:19 6.8K 
[ ]BDDreplace_used_nodes_preserved.con.body.xml.gz2004-04-08 09:18 7.0K 
[ ]neg_ok_inv.con.body.xml.gz2004-04-08 09:19 7.4K 
[ ]var_ok_inv.con.body.xml.gz2004-04-08 09:19 7.4K 
[ ]BDDreplace_node_OK.con.types.xml.gz2004-04-08 09:18 7.8K 
[ ]neg_ok_inv.con.types.xml.gz2004-04-08 09:19 8.8K 
[ ]iff_ok_inv.con.body.xml.gz2004-04-08 09:19 9.0K 
[ ]or_ok_inv.con.body.xml.gz2004-04-08 09:19 9.1K 
[ ]and_ok_inv.con.body.xml.gz2004-04-08 09:19 9.3K 
[ ]impl_ok_inv.con.body.xml.gz2004-04-08 09:19 9.3K 
[ ]be_x_free_be_ok.con.types.xml.gz2004-04-08 09:19 9.9K 
[ ]BDDreplace_is_replace.con.body.xml.gz2004-04-08 09:18 10K 
[ ]var_ok_inv.con.types.xml.gz2004-04-08 09:19 11K 
[ ]INDEX2005-07-05 08:10 12K 
[ ]replacel_x_free.con.body.xml.gz2004-04-08 09:18 12K 
[ ]iff_ok_inv.con.types.xml.gz2004-04-08 09:19 12K 
[ ]or_ok_inv.con.types.xml.gz2004-04-08 09:19 12K 
[ ]and_ok_inv.con.types.xml.gz2004-04-08 09:19 12K 
[ ]impl_ok_inv.con.types.xml.gz2004-04-08 09:19 12K 
[ ]BDDreplace_is_replace.con.types.xml.gz2004-04-08 09:18 13K 
[ ]BDDex_config_OK.con.types.xml.gz2004-04-08 09:18 14K 
[ ]BDDex_config_OK.con.body.xml.gz2004-04-08 09:18 14K 
[ ]subst_ok.con.types.xml.gz2004-04-08 09:18 15K 
[ ]BDDex_used_nodes_preserved.con.types.xml.gz2004-04-08 09:18 15K 
[ ]BDDex_used_nodes_preserved.con.body.xml.gz2004-04-08 09:18 16K 
[ ]BDDex_node_OK.con.body.xml.gz2004-04-08 09:18 16K 
[ ]BDDex_node_OK.con.types.xml.gz2004-04-08 09:18 19K 
[ ]BDDex_is_ex.con.body.xml.gz2004-04-08 09:18 22K 
[ ]replacel_x_free.con.types.xml.gz2004-04-08 09:18 25K 
[ ]BDDexl_lemma.con.body.xml.gz2004-04-08 09:18 25K 
[ ]BDDex_is_ex.con.types.xml.gz2004-04-08 09:18 25K 
[ ]BDDunivl_lemma.con.body.xml.gz2004-04-08 09:18 25K 
[ ]subst_x_free.con.body.xml.gz2004-04-08 09:18 31K 
[ ]BDDreplacel_lemma.con.body.xml.gz2004-04-08 09:18 33K 
[ ]subst_x_free.con.types.xml.gz2004-04-08 09:18 42K 
[ ]BDDmu_ex_lemma.con.body.xml.gz2004-04-08 09:19 43K 
[ ]BDDmu_all_lemma.con.body.xml.gz2004-04-08 09:19 43K 
[ ]BDDexl_lemma.con.types.xml.gz2004-04-08 09:18 44K 
[ ]BDDunivl_lemma.con.types.xml.gz2004-04-08 09:18 44K 
[ ]be_ok_be_x_free.con.body.xml.gz2004-04-08 09:19 57K 
[ ]BDDreplacel_lemma.con.types.xml.gz2004-04-08 09:18 71K 
[ ]BDDsubst_lemma.con.body.xml.gz2004-04-08 09:18 73K 
[ ]be_ok_be_x_free.con.types.xml.gz2004-04-08 09:19 78K 
[ ]BDDmu_ex_lemma.con.types.xml.gz2004-04-08 09:19 82K 
[ ]BDDmu_all_lemma.con.types.xml.gz2004-04-08 09:19 82K 
[ ]BDDsubst_lemma.con.types.xml.gz2004-04-08 09:18 146K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80