X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=extracted%2Fpolicy.mli;h=6794a520140b96a3c4964f701ac2d87375afd00b;hb=d549e01e37d9b10e96f60e64a1814f5a9208e283;hp=3d8eb7f4722bd50b29710c46df79acd52c1f31d9;hpb=69b6010f0016bba47bc7e74ad8e1f3fa473f259f;p=pkg-cerco%2Facc-trusted.git

diff --git a/extracted/policy.mli b/extracted/policy.mli
index 3d8eb7f..6794a52 100644
--- a/extracted/policy.mli
+++ b/extracted/policy.mli
@@ -1,27 +1,11 @@
 open Preamble
 
-open Assembly
-
 open Status
 
-open Fetch
-
 open BitVectorTrie
 
 open String
 
-open Exp
-
-open Arithmetic
-
-open Vector
-
-open FoldStuff
-
-open BitVector
-
-open Extranat
-
 open Integers
 
 open AST
@@ -40,7 +24,17 @@ open PreIdentifiers
 
 open Errors
 
-open Extralib
+open Lists
+
+open Positive
+
+open Identifiers
+
+open CostLabel
+
+open ASM
+
+open Exp
 
 open Setoids
 
@@ -48,6 +42,20 @@ open Monad
 
 open Option
 
+open Extranat
+
+open Vector
+
+open FoldStuff
+
+open BitVector
+
+open Arithmetic
+
+open Fetch
+
+open Assembly
+
 open Div_and_mod
 
 open Jmeq
@@ -56,17 +64,13 @@ open Russell
 
 open Util
 
-open List
-
-open Lists
-
 open Bool
 
 open Relations
 
 open Nat
 
-open Positive
+open List
 
 open Hints_declaration
 
@@ -78,11 +82,7 @@ open Logic
 
 open Types
 
-open Identifiers
-
-open CostLabel
-
-open ASM
+open Extralib
 
 open PolicyFront