update in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / rt_computation / fsb.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb.ma b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb.ma
index 925beb513f1e215a87a89e0676688f201cbbfd56..62fd4fe1089c6764132e16d84c4883846d96d9a8 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb.ma
@@ -41,6 +41,7 @@ lemma fsb_ind_alt: ∀h,o. ∀R: relation3 …. (
 /4 width=1 by fsb_intro/
 qed-.
 
-(* Basic_2A1: removed theorems 5:
+(* Basic_2A1: removed theorems 6:
               fsba_intro fsba_ind_alt fsba_fpbs_trans fsb_fsba fsba_inv_fsb
+              aaa_fsba
 *)