matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/RELATIONAL/NLE/props.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs/RELATIONAL/NLE/props.ma

2009-05-12	Ferruccio Guidi	- Procedural: we now reconstruct "let H := v in t"...	blob \| commitdiff \| raw
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-11-07	Ferruccio Guidi	- bug fix in destruct	blob \| commitdiff \| raw \| diff to current
2007-06-26	Ferruccio Guidi	some old auto yurned into autobatch	blob \| commitdiff \| raw \| diff to current
2007-02-25	Ferruccio Guidi	RELATIONAL: new undecomposable definition of NLE	blob \| commitdiff \| raw \| diff to current
2007-02-19	Ferruccio Guidi	Unified-Sub: lift_comm completed	blob \| commitdiff \| raw \| diff to current
2007-02-15	Ferruccio Guidi	refactoring	blob \| commitdiff \| raw \| diff to current
2007-02-14	Ferruccio Guidi	some improvements	blob \| commitdiff \| raw \| diff to current
2007-01-06	Enrico Tassi	;auto fixed	blob \| commitdiff \| raw \| diff to current
2006-11-11	Ferruccio Guidi	NLE is now derived fron NPlus rather than being a stand...	blob \| commitdiff \| raw \| diff to current
2006-10-26	Claudio Sacerdoti...	More timeout added to autos here and there.	blob \| commitdiff \| raw \| diff to current
2006-10-10	Claudio Sacerdoti...	auto => auto new	blob \| commitdiff \| raw \| diff to current
2006-08-29	Ferruccio Guidi	- new tactic subst removes simple non recursive equalit...	blob \| commitdiff \| raw \| diff to current
2006-08-24	Ferruccio Guidi	some properties of NLE	blob \| commitdiff \| raw \| diff to current

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