source: extracted/utilBranch.mli @ 2968

Last change on this file since 2968 was 2773, checked in by sacerdot, 7 years ago
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File size: 361 bytes
RevLine 
[2601]1open Preamble
2
3open Div_and_mod
4
5open Jmeq
6
7open Russell
8
9open Bool
10
11open Relations
12
13open Nat
14
15open Hints_declaration
16
17open Core_notation
18
19open Pts
20
21open Logic
22
23open Types
24
25open List
26
27open Util
28
[2717]29open Exp
30
[2773]31open Setoids
32
33open Monad
34
35open Option
36
[2601]37open Extranat
38
39open Vector
40
41open FoldStuff
42
43open BitVector
44
45open Arithmetic
46
[2773]47val nat_of_bool : Bool.bool -> Nat.nat
[2601]48
Note: See TracBrowser for help on using the repository browser.