From 2a438f72ba71acd29acaae155d8ef60536140ea5 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 18 Jan 2013 11:41:17 +0000
Subject: [PATCH] high level semantics

---
 matita/matita/lib/turing/multi_universal/unistep_aux.ma | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/matita/matita/lib/turing/multi_universal/unistep_aux.ma b/matita/matita/lib/turing/multi_universal/unistep_aux.ma
index 7a8062ee3..aa4dbc7ab 100644
--- a/matita/matita/lib/turing/multi_universal/unistep_aux.ma
+++ b/matita/matita/lib/turing/multi_universal/unistep_aux.ma
@@ -338,9 +338,10 @@ definition tape_map ≝ λA,B:FinSet.λf:A→B.λt.
 definition low ≝ λM:normalTM.λc:nconfig (no_states M).Vector_of_list ?
   [tape_map ?? bit (ctape ?? c);
    midtape ? [ ] bar (bits_of_state ? (nhalt M) (cstate ?? c));
-   ?].
+   midtape ? [ ] bar (table_TM ? (graph_enum ?? (ntrans M)) (nhalt M))
+  ].
 
   
   
   
-  .
\ No newline at end of file
+ 
\ No newline at end of file
-- 
2.39.2