source: driver/extracted/utilBranch.ml @ 3106

Last change on this file since 3106 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: 445 bytes
Line 
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
29open Exp
30
31open Setoids
32
33open Monad
34
35open Option
36
37open Extranat
38
39open Vector
40
41open FoldStuff
42
43open BitVector
44
45open Arithmetic
46
47(** val nat_of_bool : Bool.bool -> Nat.nat **)
48let nat_of_bool = function
49| Bool.True -> Nat.S Nat.O
50| Bool.False -> Nat.O
51
Note: See TracBrowser for help on using the repository browser.