From: Wilmer Ricciotti Date: Mon, 4 Feb 2013 11:14:36 +0000 (+0000) Subject: defs.ma was never really used X-Git-Tag: make_still_working~1283 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2bc6ee30d9ee4262b754e9a603c2e4f4d13e38a0;p=helm.git defs.ma was never really used --- 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