matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/basics/logic.ma

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/lib/basics/logic.ma

[helm.git] / matita / matita / lib / basics / logic.ma

2012-12-17	Ferruccio Guidi	- lambda: some parts commented out, some refactoring	blob \| commitdiff \| raw
2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	blob \| commitdiff \| raw \| diff to current
2012-05-15	Claudio Sacerdoti...	Patch by Ferruccio that enables \top/\bot for False...	blob \| commitdiff \| raw \| diff to current
2012-05-15	Ferruccio Guidi	we added the standard notation for True and False ...	blob \| commitdiff \| raw \| diff to current
2012-04-27	Andrea Asperti	Extensions to finset (sum) and auxiliary lemmas.	blob \| commitdiff \| raw \| diff to current
2011-12-05	Andrea Asperti	More properties of iff	blob \| commitdiff \| raw \| diff to current
2011-11-21	Claudio Sacerdoti...	{pattern} => in pattern;	blob \| commitdiff \| raw \| diff to current
2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	blob \| commitdiff \| raw \| diff to current
2011-11-04	Ferruccio Guidi	- lib: one lemma about equality was missing	blob \| commitdiff \| raw \| diff to current
2011-11-02	Claudio Sacerdoti...	trans_eq and sym_eq indexing restored. Apparently they...	blob \| commitdiff \| raw \| diff to current
2011-10-28	Andrea Asperti	some qed-	blob \| commitdiff \| raw \| diff to current
2011-10-20	Wilmer Ricciotti	JMeq lifted to work on Type[1].	blob \| commitdiff \| raw \| diff to current
2011-10-10	Claudio Sacerdoti...	1. nInversion/nDestruct ported to work with jmeq properly	blob \| commitdiff \| raw \| diff to current
2011-06-17	Andrea Asperti	Added a copy of lambdaN to extend the syntax of dummies...	blob \| commitdiff \| raw \| diff to current
2011-05-30	Ferruccio Guidi	basics: some additions	blob \| commitdiff \| raw \| diff to current
2011-04-28	Ferruccio Guidi	we uncommented R3 and R4 tu be used in lambda-delta	blob \| commitdiff \| raw \| diff to current
2011-02-10	Andrea Asperti	Added lambda	blob \| commitdiff \| raw \| diff to current
2011-02-09	Wilmer Ricciotti	enabling destruct defs	blob \| commitdiff \| raw \| diff to current
2010-12-16	Andrea Asperti	New version of the library. Several files still do...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom