matita.cs.unibo.it Git - helm.git/history - helm/matita/tests/match

]> matita.cs.unibo.it Git - helm.git/history - helm/matita/tests/match_inference.ma

[helm.git] / helm / matita / tests / match_inference.ma

2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	commit \| commitdiff
2005-07-29	Claudio Sacerdoti...	0. core_notation.ma splitted into coq.moo and core_nota...	commit \| commitdiff
2005-07-05	Claudio Sacerdoti...	Another "hard" test that used to fail.	commit \| commitdiff
2005-07-01	Enrico Tassi	first snapshot of separate compilation	commit \| commitdiff
2005-06-29	Enrico Tassi	now baseuri is needed in each file (and its redefinitio...	commit \| commitdiff
2005-06-08	Claudio Sacerdoti...	Harder test (with empty inductive types and left and...	commit \| commitdiff
2005-06-07	Enrico Tassi	added coercions	commit \| commitdiff

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