From 3895bfa2b76c88af1d6ac41605ff17e2626d353a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 15 Nov 2008 13:14:48 +0000 Subject: [PATCH] house keeping --- .../support/natural_deduction.ma} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/library/{demo/natural_deduction_support.ma => didactic/support/natural_deduction.ma} (100%) diff --git a/helm/software/matita/library/demo/natural_deduction_support.ma b/helm/software/matita/library/didactic/support/natural_deduction.ma similarity index 100% rename from helm/software/matita/library/demo/natural_deduction_support.ma rename to helm/software/matita/library/didactic/support/natural_deduction.ma -- 2.39.2