matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Nov 2017 15:07:38 +0000 (15:07 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 14 Nov 2017 15:07:38 +0000 (15:07 +0000)
commit	6167cca50de37eba76a062537b24f7caef5b34f2
tree	4eec41db563f5fe52710be2e4c10a473d18507ba	tree \| snapshot
parent	6d49221c1fefe6a2c5bddb3db24d3698414a700f	commit \| diff

- notation change for tdeq and related notions
- extra spaces removed in notation files
- bug fixed in replace.sh: the case of a wrong sed should be handeled correctly

118 files changed:

matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_da_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_lstas_lpr.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_scpes.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabbr_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxabst_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxbind1_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxbind2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxitem_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/dxvoid_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabbr_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabbrneg_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabbrpos_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabst_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabstneg_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snabstpos_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snappl_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2neg_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snbind2pos_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/sncast_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snflat2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snitem2_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/constructors/snitem2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snabbr_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snabst_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snapplvector_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snbind1_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snbind2_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snitem_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/snvoid_1.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/weight_2.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/functions/weight_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpred_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredstar_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/btpredstaralt_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpconvstar_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/dpredstar_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazybtpredstarproper_8.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_4.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeq_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeqsn_5.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/lazyeqsn_8.ma	[deleted file]	blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/nativevalid_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/nativevalid_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_3.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predsnstar_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predty_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtynormal_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysn_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysnstar_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtysnstrong_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/predtystrong_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/rdropstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstar_5.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/relationstarstar_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareq_4.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareq_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareqsn_5.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/stareqsn_8.ma	[new file with mode: 0644]	blob
matita/matita/contribs/lambdadelta/basic_2/notation/relations/supterm_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/supterm_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermopt_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermopt_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermplus_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermplus_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermstar_6.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/suptermstar_7.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/notation/relations/topiso_4.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/cpxs_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_cpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/csx_simple.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fleq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_fpbs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fpbg_lift.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_aaa.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_alt.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/fsb_csx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfpxs_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_lfpxs.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_computation/lfsx_lfsx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cnx_cnx.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/cpx_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/fpb_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/rt_transition/lfpx_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/aaa_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/ffdeq_ffdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_drops.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqup.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_fqus.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_length.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/static/lfdeq_lfdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_ext.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/tdeq_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/syntax/theq_tdeq.ma		diff \| blob \| history
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl		diff \| blob \| history
matita/matita/contribs/lambdadelta/replace.sh		diff \| blob \| history
matita/matita/contribs/lambdadelta/restore.sh	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom