1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(**************************************************************************)
(* *)
(* The Alt-ergo theorem prover *)
(* Copyright (C) 2006-2010 *)
(* *)
(* Sylvain Conchon *)
(* Evelyne Contejean *)
(* Stephane Lescuyer *)
(* Mohamed Iguernelala *)
(* Alain Mebsout *)
(* *)
(* CNRS - INRIA - Universite Paris Sud *)
(* *)
(* This file is distributed under the terms of the CeCILL-C licence *)
(* *)
(**************************************************************************)
val make : Why_ptree.quant_form -> Why_ptree.tform
|
