[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Semantic of IMPORTING



Hello,

  I search a reference about the semantic of IMPORTING theory in PVS
concerning
* parameters (of the importing theory)
* assumptions (of the importing theory)
* lemmas  ....
* theorems ...

Can you hepl me

Dominique
-- 
==========================================================================
                          Dominique CANSELL 
Universite de Metz                |  UMR no 7503 LORIA CNRS
UFR MIM                           |  equipe: MODEL
Ile du Saulcy                     |  BP 239
57045 METZ CEDEX 01               |  54506  VANDOEUVRE-les-NANCY 
bureau E119                       |  bureau B219
tel: 03 87 31 52 85               |  tel 03 83 91 21 62
Email: cansell@lita.univ-metz.fr  |  Email: cansell@loria.fr
Associť au LITA                   |  URL: http://www.loria.fr/~cansell
==========================================================================