Index of /xml/Suresnes/BDD/canonicite/Vars

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]Intervals/2005-07-05 08:14 -  
[ ]Var.ind.types.xml.gz2004-04-08 09:32 196  
[ ]Order.con.types.xml.gz2004-04-08 09:32 200  
[ ]Varset.con.types.xml.gz2004-04-08 09:32 201  
[ ]Var_le.con.types.xml.gz2004-04-08 09:32 202  
[ ]eq_Var.con.types.xml.gz2004-04-08 09:32 203  
[ ]gt_Var.con.types.xml.gz2004-04-08 09:32 203  
[ ]le_Var.con.types.xml.gz2004-04-08 09:32 203  
[ ]Var_rec.con.types.xml.gz2004-04-08 09:32 204  
[ ]Var_rect.con.types.xml.gz2004-04-08 09:32 206  
[ ]eq_Var_dec.con.types.xml.gz2004-04-08 09:32 210  
[ ]Proof_irrelevance.con.types.xml.gz2004-04-08 09:32 221  
[ ]Varset.con.xml.gz2004-04-08 09:32 289  
[ ]Order.con.xml.gz2004-04-08 09:32 354  
[ ]gt_Var.con.xml.gz2004-04-08 09:32 371  
[ ]le_Var.con.xml.gz2004-04-08 09:32 371  
[ ]eq_Var.con.xml.gz2004-04-08 09:32 373  
[ ]Var_le.con.xml.gz2004-04-08 09:32 382  
[ ]eq_Var_refl.con.xml.gz2004-04-08 09:32 413  
[ ]Var_n_finite.con.xml.gz2004-04-08 09:32 414  
[ ]le_Var_total_order.con.xml.gz2004-04-08 09:32 422  
[ ]Order_le_n.con.xml.gz2004-04-08 09:32 438  
[ ]Varset.con.body.xml.gz2004-04-08 09:32 442  
[ ]Var_le.con.body.xml.gz2004-04-08 09:32 466  
[ ]Order_gt_O.con.xml.gz2004-04-08 09:32 471  
[ ]eq_Var_sym.con.xml.gz2004-04-08 09:32 475  
[ ]le_Var.con.body.xml.gz2004-04-08 09:32 481  
[ ]gt_Var.con.body.xml.gz2004-04-08 09:32 486  
[ ]Var_rec.con.body.xml.gz2004-04-08 09:32 492  
[ ]Var_ind.con.body.xml.gz2004-04-08 09:32 495  
[ ]le_or_gt_Var.con.xml.gz2004-04-08 09:32 498  
[ ]eq_Var.con.body.xml.gz2004-04-08 09:32 501  
[ ]eq_Var_dec.con.body.xml.gz2004-04-08 09:32 504  
[ ]eq_Var_trans.con.xml.gz2004-04-08 09:32 524  
[ ]eq_Var_dec.con.xml.gz2004-04-08 09:32 528  
[ ]Proof_irrelevance.con.xml.gz2004-04-08 09:32 537  
[ ]Var_k_finite.con.xml.gz2004-04-08 09:32 551  
[ ]Order_S.con.xml.gz2004-04-08 09:32 552  
[ ]eq_Var_same_order.con.body.xml.gz2004-04-08 09:32 552  
[ ]eq_Var_same_order.con.xml.gz2004-04-08 09:32 562  
[ ]Var.ind.xml.gz2004-04-08 09:32 578  
[ ]same_order_eq_Var.con.xml.gz2004-04-08 09:32 610  
[ ]eq_Var_sym.con.body.xml.gz2004-04-08 09:32 647  
[ ]Ordering_surj.con.xml.gz2004-04-08 09:32 651  
[ ]Order.con.body.xml.gz2004-04-08 09:32 670  
[ ]Order_le_n.con.body.xml.gz2004-04-08 09:32 698  
[ ]Order_gt_O.con.body.xml.gz2004-04-08 09:32 703  
[ ]Var_rect.con.xml.gz2004-04-08 09:32 712  
[ ]Var_ind.con.xml.gz2004-04-08 09:32 715  
[ ]Var_rec.con.xml.gz2004-04-08 09:32 715  
[ ]eq_Var_sym.con.types.xml.gz2004-04-08 09:32 719  
[ ]eq_Var_same_order.con.types.xml.gz2004-04-08 09:32 756  
[ ]eq_Var_refl.con.body.xml.gz2004-04-08 09:32 785  
[ ]Ordering_surj.con.body.xml.gz2004-04-08 09:32 828  
[ ]Order_le_n.con.types.xml.gz2004-04-08 09:32 865  
[ ]Order_gt_O.con.types.xml.gz2004-04-08 09:32 869  
[ ]Var_rect.con.body.xml.gz2004-04-08 09:32 870  
[ ]Var_ind.con.types.xml.gz2004-04-08 09:32 934  
[ ]eq_Var_refl.con.types.xml.gz2004-04-08 09:32 970  
[ ]same_order_eq_Var.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]Ordering_surj.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]Var_n_finite.con.body.xml.gz2004-04-08 09:32 1.0K 
[ ]eq_Var_trans.con.types.xml.gz2004-04-08 09:32 1.0K 
[ ]eq_Var_trans.con.body.xml.gz2004-04-08 09:32 1.1K 
[ ]le_or_gt_Var.con.types.xml.gz2004-04-08 09:32 1.1K 
[ ]INDEX2005-07-05 08:14 1.2K 
[ ]le_or_gt_Var.con.body.xml.gz2004-04-08 09:32 1.2K 
[ ]same_order_eq_Var.con.body.xml.gz2004-04-08 09:32 1.3K 
[ ]Order_S.con.body.xml.gz2004-04-08 09:32 1.7K 
[ ]le_Var_total_order.con.body.xml.gz2004-04-08 09:32 1.7K 
[ ]Var_n_finite.con.types.xml.gz2004-04-08 09:32 1.8K 
[ ]Order_S.con.types.xml.gz2004-04-08 09:32 2.0K 
[ ]le_Var_total_order.con.types.xml.gz2004-04-08 09:32 2.7K 
[ ]Var_k_finite.con.body.xml.gz2004-04-08 09:32 5.5K 
[ ]Var_k_finite.con.types.xml.gz2004-04-08 09:32 7.1K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80