# HG changeset patch
# User wenzelm
# Date 981312391 -3600
# Node ID b3e7863a50608093980233a55b67468ba6f24ca3
# Parent  e68becb804fe566b85578e349fdb315d2cf46337
moved theory Perm to HOL/Library;

diff -r e68becb804fe -r b3e7863a5060 src/HOL/Induct/ROOT.ML
--- a/src/HOL/Induct/ROOT.ML	Sun Feb 04 19:44:09 2001 +0100
+++ b/src/HOL/Induct/ROOT.ML	Sun Feb 04 19:46:31 2001 +0100
@@ -4,7 +4,6 @@
 time_use_thy "ABexp";
 time_use_thy "Tree";
 time_use_thy "Sigma_Algebra";
-time_use_thy "Perm";
 time_use_thy "Comb";
 time_use_thy "PropLog";
 time_use_thy "SList";