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

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

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

2019-01-01	Ferruccio Guidi	the decentralization of core notation continues ...	blob \| commitdiff \| raw
2018-03-29	Ferruccio Guidi	decentralizing core notation	blob \| commitdiff \| raw \| diff to current
2013-09-07	Ferruccio Guidi	support for nat-labeled reflexive and transitive closur...	blob \| commitdiff \| raw \| diff to current
2013-08-01	Ferruccio Guidi	partial commit: just the components before "static...	blob \| commitdiff \| raw \| diff to current
2013-06-05	Ferruccio Guidi	some work on extended reduction ...	blob \| commitdiff \| raw \| diff to current
2012-12-17	Ferruccio Guidi	- lambda: some parts commented out, some refactoring	blob \| commitdiff \| raw \| diff to current
2012-12-01	Ferruccio Guidi	- lambda: parallel reduction to obtain diamond property	blob \| commitdiff \| raw \| diff to current
2012-11-28	Ferruccio Guidi	- relations.ma:	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-10-16	Ferruccio Guidi	context-free parallel reduction on closures is confluent!	blob \| commitdiff \| raw \| diff to current
2012-09-03	Ferruccio Guidi	lambda_delta: partial commit ...	blob \| commitdiff \| raw \| diff to current
2012-08-08	Wilmer Ricciotti	Adding GRealize to uni_step.	blob \| commitdiff \| raw \| diff to current
2012-06-05	Andrea Asperti	Some results on relations. Moved things around.	blob \| commitdiff \| raw \| diff to current
2012-06-04	Andrea Asperti	semantics of the if-machine.	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
2011-12-06	Ferruccio Guidi	we added a definition and a couple of lemmas	blob \| commitdiff \| raw \| diff to current
2011-12-06	Andrea Asperti	naive sets (A-> Prop)	blob \| commitdiff \| raw \| diff to current
2011-10-28	Andrea Asperti	some qed-	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