From: Claudio Sacerdoti Coen Date: Tue, 30 Apr 2013 17:05:36 +0000 (+0000) Subject: Missing include. X-Git-Tag: make_still_working~1165 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3ec8573d459f3a794547fd31167fadb34503527b;p=helm.git Missing include. --- 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] ≝