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

2011-11-18	Claudio Sacerdoti...	* Almost ready for release 0.99.1.	blob \| commitdiff \| raw
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.