From 3ec8573d459f3a794547fd31167fadb34503527b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 30 Apr 2013 17:05:36 +0000 Subject: [PATCH] Missing include. --- matita/matita/lib/turing/mono.ma | 1 + matita/matita/lib/turing/wmono.ma | 1 + 2 files changed, 2 insertions(+) diff --git a/matita/matita/lib/turing/mono.ma b/matita/matita/lib/turing/mono.ma index 748f08612..6a006d581 100644 --- a/matita/matita/lib/turing/mono.ma +++ b/matita/matita/lib/turing/mono.ma @@ -10,6 +10,7 @@ V_____________________________________________________________*) include "basics/vectors.ma". +include "basics/finset.ma". (* include "basics/relations.ma". *) (******************************** tape ****************************************) diff --git a/matita/matita/lib/turing/wmono.ma b/matita/matita/lib/turing/wmono.ma index f5a8dfe1b..35c409639 100644 --- a/matita/matita/lib/turing/wmono.ma +++ b/matita/matita/lib/turing/wmono.ma @@ -10,6 +10,7 @@ V_____________________________________________________________*) include "basics/vectors.ma". +include "basics/finset.ma". (* include "basics/relations.ma". *) record tape (sig:FinSet): Type[0] ≝ -- 2.39.2