#load "unix.cma";;    
loadt "miz3/miz3.ml";;                       
loadt "RichterHilbertAxiomGeometry/miz3/HilbertAxiom.ml";;