blob: 19933873beb3cd38523fae6d0cca227b00d8d2b7 (
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 Import ReflOmegaCore.
|
