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

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

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

2013-08-01	Ferruccio Guidi	partial commit: just the components before "static...	blob \| commitdiff \| raw
2013-06-05	Ferruccio Guidi	some work on extended reduction ...	blob \| commitdiff \| raw \| diff to current
2012-12-28	Ferruccio Guidi	xoa: change in naming convenctions for existential...	blob \| commitdiff \| raw \| diff to current
2012-12-18	Ferruccio Guidi	- star.ma: strip lemma and confluence of star	blob \| commitdiff \| raw \| diff to current
2012-12-06	Ferruccio Guidi	- we enabled a notation for ex2	blob \| commitdiff \| raw \| diff to current
2012-11-07	Ferruccio Guidi	- predefined_virtuals: nwe characters	blob \| commitdiff \| raw \| diff to current
2012-10-27	Ferruccio Guidi	- some additions and corrections	blob \| commitdiff \| raw \| diff to current
2012-10-18	Ferruccio Guidi	- some confluence results for focalized reduction and...	blob \| commitdiff \| raw \| diff to current
2012-07-23	Ferruccio Guidi	- lambda_delta: we updated some notation	blob \| commitdiff \| raw \| diff to current
2012-06-20	Ferruccio Guidi	- star.ma: constructor inj of star conflicts with previ...	blob \| commitdiff \| raw \| diff to current
2012-06-04	Andrea Asperti	semantics of the if-machine.	blob \| commitdiff \| raw \| diff to current
2012-05-10	Ferruccio Guidi	- lib: some additions	blob \| commitdiff \| raw \| diff to current
2012-05-07	Andrea Asperti	starl	blob \| commitdiff \| raw \| diff to current
2012-05-04	Wilmer Ricciotti	Added a turing/universal directory for the universal...	blob \| commitdiff \| raw \| diff to current
2012-03-19	Ferruccio Guidi	- basics: bug fix in Conf3, it was not generic enough	blob \| commitdiff \| raw \| diff to current
2012-03-17	Ferruccio Guidi	- basics: some support for abstract triangular confluen...	blob \| commitdiff \| raw \| diff to current
2012-03-15	Ferruccio Guidi	- lambda_delta: strong normalization of simply typed...	blob \| commitdiff \| raw \| diff to current
2011-12-06	Ferruccio Guidi	we added a definition and a couple of lemmas	blob \| commitdiff \| raw \| diff to current
2011-11-16	Andrea Asperti	inversion replaced by elim (???)	blob \| commitdiff \| raw \| diff to current
2011-03-21	Andrea Asperti	extensions	blob \| commitdiff \| raw \| diff to current
2011-03-11	Andrea Asperti	added star.ma (star closure of a relation)	blob \| commitdiff \| raw \| diff to current

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

RSS Atom