blob: 6bfc3f187af5e9bfda43c6907685b6964466430d (
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
*************************************************************************)
Require Omega.
Require ReflOmegaCore.
Grammar tactic simple_tactic : ast :=
romega [ "ROmega" ] -> [(ReflOmega)].
Syntax tactic level 0:
romega [ (ReflOmega) ] -> ["ROmega"].
|