test.why

(* test file *)

theory Test1
  use import prelude.Int
  axiom Ax : forall x :int. x=1 and forall x:int. x=2
  logic g(x: int) : int = x+2
end

theory Test
  use graph.Path
  use import prelude.List
  axiom Ax : forall l:int list. l=l
end

(*
Local Variables: 
compile-command: "make -C .. test"
End: 
*)