From 3b959c9e6c4db770977777d8fd904463dbce2d09 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 5 Apr 2015 12:01:32 -0700
Subject: [PATCH] refactor(library/data): move perm to list folder

---
 library/data/{ => list}/perm.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
 rename library/data/{ => list}/perm.lean (99%)

diff --git a/library/data/perm.lean b/library/data/list/perm.lean
similarity index 99%
rename from library/data/perm.lean
rename to library/data/list/perm.lean
index 8b2d50e28..021836583 100644
--- a/library/data/perm.lean
+++ b/library/data/list/perm.lean
@@ -2,12 +2,12 @@
 Copyright (c) 2015 Microsoft Corporation. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 
-Module: data.perm
+Module: data.list.perm
 Author: Leonardo de Moura
 
 List permutations
 -/
-import data.list
+import data.list.basic
 open list setoid nat
 
 variables {A B : Type}