From 2bc6ee30d9ee4262b754e9a603c2e4f4d13e38a0 Mon Sep 17 00:00:00 2001 From: Wilmer Ricciotti Date: Mon, 4 Feb 2013 11:14:36 +0000 Subject: [PATCH] defs.ma was never really used --- .../matita/lib/turing/multi_universal/defs.ma | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 matita/matita/lib/turing/multi_universal/defs.ma diff --git a/matita/matita/lib/turing/multi_universal/defs.ma b/matita/matita/lib/turing/multi_universal/defs.ma deleted file mode 100644 index 1c7602127..000000000 --- a/matita/matita/lib/turing/multi_universal/defs.ma +++ /dev/null @@ -1,19 +0,0 @@ -(**************************************************************************) -(* ___ *) -(* ||M|| *) -(* ||A|| A project by Andrea Asperti *) -(* ||T|| *) -(* ||I|| Developers: *) -(* ||T|| The HELM team. *) -(* ||A|| http://helm.cs.unibo.it *) -(* \ / *) -(* \ / This file is distributed under the terms of the *) -(* v GNU General Public License Version 2 *) -(* *) -(**************************************************************************) - -include "arithmetics/nat.ma". - -definition CONFIG_TAPE ≝ 0. -definition PROGRAM_TAPE ≝ 1. -definition WORKING_TAPE ≝ 2. \ No newline at end of file -- 2.39.2