]> matita.cs.unibo.it Git - helm.git/commit - matita/matita/contribs/lambda_delta/ground_2/xoa.ma
- matita: reset_font_size () added after matita.conf.xml is read to set
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Jul 2012 14:53:37 +0000 (14:53 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 26 Jul 2012 14:53:37 +0000 (14:53 +0000)
commitbadd398f31309584efc39254e26b056683157a65
treecd42996f7145d8930669ab763a5178ab9f1fe709
parent300f861716441d08397ab79056314b2dc7d5ea94
- matita: reset_font_size () added after matita.conf.xml is read to set
the font size specified by the user
- lambda_delta: equivalence between normal forms irreducible terms
proved (context-sensitive version)
20 files changed:
matita/matita/contribs/lambda_delta/basic_2/computation/xprs.ma
matita/matita/contribs/lambda_delta/basic_2/grammar/lenv_append.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/cif.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/reducibility/cif_append.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/reducibility/cnf.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/cnf_cif.ma [new file with mode: 0644]
matita/matita/contribs/lambda_delta/basic_2/reducibility/cnf_lift.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/crf.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/crf_append.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/thnf.ma
matita/matita/contribs/lambda_delta/basic_2/reducibility/tif.ma [deleted file]
matita/matita/contribs/lambda_delta/basic_2/reducibility/tnf.ma [deleted file]
matita/matita/contribs/lambda_delta/basic_2/reducibility/tnf_tif.ma [deleted file]
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop.ma
matita/matita/contribs/lambda_delta/basic_2/substitution/ldrop_append.ma
matita/matita/contribs/lambda_delta/basic_2/unfold/delift_lift.ma
matita/matita/contribs/lambda_delta/ground_2/xoa.conf.xml
matita/matita/contribs/lambda_delta/ground_2/xoa.ma
matita/matita/contribs/lambda_delta/ground_2/xoa_notation.ma
matita/matita/matita.ml