blob: ba02b232e08cb32a97869666a256fc16806985e1 (
plain)
1
2
3
4
5
6
7
8
9
10
|
(*************************************************************************
PROJET RNRT Calife - 2001
Author: Pierre Crégut - France Télécom R&D
Licence : LGPL version 2.1
*************************************************************************)
Require Omega.
Require ReflOmegaCore.
|