blob: b5203dcb7283870192a57599b6f9f65d9115bd29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(*************************************************************************
PROJET RNRT Calife - 2001
Author: Pierre Crégut - France Télécom R&D
Licence : LGPL version 2.1
*************************************************************************)
(*i camlp4deps: "parsing/grammar.cma" i*)
(* $Id$ *)
open Refl_omega
TACTIC EXTEND ROmega
[ "ROmega" ] -> [ omega_solver ]
END
|