]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/blob - extracted/exp.mli
projects / pkg-cerco / acc-trusted.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Imported Upstream version 0.1
[pkg-cerco/acc-trusted.git] / extracted / exp.mli
1 open Preamble
2
3 open Bool
4
5 open Hints_declaration
6
7 open Core_notation
8
9 open Pts
10
11 open Logic
12
13 open Relations
14
15 open Nat
16
17 open Div_and_mod
18
19 val exp : Nat.nat -> Nat.nat -> Nat.nat
20
Unnamed repository; edit this file 'description' to name the repository.