blob: f1ffcf13d242157e9324c40878c2a1fa5fc25ce4 (
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 Omega.
Require Import ReflOmegaCore.
|
