X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=extracted%2FpolicyFront.mli;h=814f98593c49b9ac753317533ff71d54abe99ec3;hb=HEAD;hp=d2a2c58f0d64f9ab7e8489cb034967e838690f42;hpb=69b6010f0016bba47bc7e74ad8e1f3fa473f259f;p=pkg-cerco%2Facc-trusted.git

diff --git a/extracted/policyFront.mli b/extracted/policyFront.mli
index d2a2c58..814f985 100644
--- a/extracted/policyFront.mli
+++ b/extracted/policyFront.mli
@@ -1,86 +1,86 @@
 open Preamble
 
-open BitVectorTrie
+open Div_and_mod
 
-open String
+open Jmeq
 
-open Exp
+open Russell
 
-open Arithmetic
+open Util
 
-open Vector
+open Bool
 
-open FoldStuff
+open Relations
 
-open BitVector
+open Nat
 
-open Extranat
+open List
 
-open Integers
+open Hints_declaration
 
-open AST
+open Core_notation
 
-open LabelledObjects
+open Pts
 
-open Proper
+open Logic
 
-open PositiveMap
+open Types
 
-open Deqsets
+open Extralib
 
-open ErrorMessages
+open Status
 
-open PreIdentifiers
+open BitVectorTrie
 
-open Errors
+open String
 
-open Extralib
+open Integers
 
-open Setoids
+open AST
 
-open Monad
+open LabelledObjects
 
-open Option
+open Proper
 
-open Div_and_mod
+open PositiveMap
 
-open Jmeq
+open Deqsets
 
-open Russell
+open ErrorMessages
 
-open Util
+open PreIdentifiers
 
-open List
+open Errors
 
 open Lists
 
-open Bool
+open Positive
 
-open Relations
+open Identifiers
 
-open Nat
+open CostLabel
 
-open Positive
+open ASM
 
-open Hints_declaration
+open Exp
 
-open Core_notation
+open Setoids
 
-open Pts
+open Monad
 
-open Logic
+open Option
 
-open Types
+open Extranat
 
-open Identifiers
+open Vector
 
-open CostLabel
+open FoldStuff
 
-open ASM
+open BitVector
 
-open Fetch
+open Arithmetic
 
-open Status
+open Fetch
 
 open Assembly