From 83bbd662d887cc43d7d60cb607295dce503b3b7f Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 27 Jan 2006 16:50:21 +0000
Subject: [PATCH] A few paramodulation/demodulation tests moved from library to
 tests.

---
 helm/matita/{library => tests}/SK.ma                  | 0
 helm/matita/{library => tests}/demodulation_coq.ma    | 0
 helm/matita/{library => tests}/demodulation_matita.ma | 0
 3 files changed, 0 insertions(+), 0 deletions(-)
 rename helm/matita/{library => tests}/SK.ma (100%)
 rename helm/matita/{library => tests}/demodulation_coq.ma (100%)
 rename helm/matita/{library => tests}/demodulation_matita.ma (100%)

diff --git a/helm/matita/library/SK.ma b/helm/matita/tests/SK.ma
similarity index 100%
rename from helm/matita/library/SK.ma
rename to helm/matita/tests/SK.ma
diff --git a/helm/matita/library/demodulation_coq.ma b/helm/matita/tests/demodulation_coq.ma
similarity index 100%
rename from helm/matita/library/demodulation_coq.ma
rename to helm/matita/tests/demodulation_coq.ma
diff --git a/helm/matita/library/demodulation_matita.ma b/helm/matita/tests/demodulation_matita.ma
similarity index 100%
rename from helm/matita/library/demodulation_matita.ma
rename to helm/matita/tests/demodulation_matita.ma
-- 
2.39.5