X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fproblems.ml;h=51f43f0322677da72508df0daaf8a9cfad3b44e9;hb=5c065c453e7d3f1e35d9f23fb4b6345d88d0f083;hp=2dff11df2688e65893ebfb6dd5b40bd5ea50bdef;hpb=ee425005e52a3cedad28698bc4611c99e1abefb5;p=fireball-separation.git

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 2dff11d..51f43f0 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -285,8 +285,16 @@ let m2 () = magic_conv None []
  ["*"]
 ;;
 
+(* main ([p34]);; *)
+
 main ([
- p2 ; p4 ; p5 ; p6 ; p7 ; p8 ; p9 ; p10 ; p11 ; p12 ; p13 ; p14 ; p15 ; p16 ; p17 ; p18 ; p19 ; p20 ; p21 ; p22 ; p23 ; p24 ; p25 ; p26 ; p27 ; p28 ; p29 ; p30 ; p31 ; p32 ; p33 ; p34 ; p35 ; p36 ; p37 ;
+ p2 ; p4 ; p5 ; p6 ; p7 ; p8 ; p9 ; p10 ; p11 ; p12 ; p13 ;
+ p14 ; p15 ; p16 ; p17 ; p18 ; p19 ; p20 ; p21 ; p22 ; p23 ;
+ p24 ; p25 ; p26 ; p27 ; p28 ; p29 ; p30 ; p31 ; p32 ; p33 ;
+ p34 ;
+ p35 ;
+ p36 ;
+ p37 ;
  p24 ; p25 ;
 ] @ List.map ((|>) ()) [
  q1 ; q2; q3; q4 ; q5 ; q6 ;
@@ -296,4 +304,5 @@ main ([
  q10 ;
  q11 ;
  m1 ;
+ m2 ;
 ]);;