1
(***********************************************************************)
5
(* Pierre Weis, projet Cristal, INRIA Rocquencourt *)
7
(* Copyright 2001 Institut National de Recherche en Informatique et *)
8
(* en Automatique. All rights reserved. This file is distributed *)
9
(* only by permission. *)
11
(***********************************************************************)
16
| Et of proposition * proposition
17
| Ou of proposition * proposition
18
| Implique of proposition * proposition
19
| �quivalent of proposition * proposition
20
| Variable of string;;
22
exception R�futation of (string * bool) list;;
24
val v�rifie_tautologie : proposition -> string list -> unit;;
25
val variables_libres : proposition -> string list;;