From a4de429b26c16152e710bfaa07c8814cc3cb018f Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 22 Jul 2009 15:13:59 +0000
Subject: [PATCH] ...
---
helm/software/matita/dist/TODO | 2 --
1 file changed, 2 deletions(-)
diff --git a/helm/software/matita/dist/TODO b/helm/software/matita/dist/TODO
index 4e92c4873..3e7682d86 100644
--- a/helm/software/matita/dist/TODO
+++ b/helm/software/matita/dist/TODO
@@ -4,7 +4,6 @@ TODO:
- simple syntax
- generation of hints to implement the pullback
- principles generation:
- - projections for records
- induction/inversions
- dependency graphs
- queries (on the trie?)
@@ -24,7 +23,6 @@ TODO:
BUGS:
----- 1) nwhd non fa nulla ??? OK, testa rigida
?2) cosa "corrisponde" alla simplify? multivm/breakpoint
=> la mu (+ iota) normalize
3) nelim bacata (assert ...), ma napply funziona
--
2.39.2