From f8f6d0a959ea8c6efe3e5c31017461195e3c2a34 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 22 Nov 2018 13:53:54 +0100
Subject: [PATCH] reorder some files for better coqdoc

---
 _CoqProject | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_CoqProject b/_CoqProject
index bf320d3d..8d1bfd22 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -1,5 +1,7 @@
 -Q theories stdpp
 -arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
+theories/base.v
+theories/tactics.v
 theories/option.v
 theories/fin_map_dom.v
 theories/bset.v
@@ -23,8 +25,6 @@ theories/listset.v
 theories/streams.v
 theories/gmap.v
 theories/gmultiset.v
-theories/base.v
-theories/tactics.v
 theories/prelude.v
 theories/listset_nodup.v
 theories/finite.v
-- 
GitLab