matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/demo/formal

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/demo/formal_topology.ma

[helm.git] / helm / software / matita / library / demo / formal_topology.ma

2009-05-25	Enrico Tassi	nasty change in the lexer/parser:	blob \| commitdiff \| raw
2009-04-28	Enrico Tassi	huge commit in automation:	blob \| commitdiff \| raw \| diff to current
2008-11-04	Claudio Sacerdoti...	- A new interesting elimination principle over inductiv...	blob \| commitdiff \| raw \| diff to current
2008-09-26	Enrico Tassi	fixed some notational collisions	blob \| commitdiff \| raw \| diff to current
2008-09-26	Enrico Tassi	commented out a line that was making the file fail	blob \| commitdiff \| raw \| diff to current
2008-09-04	Enrico Tassi	fixed notation	blob \| commitdiff \| raw \| diff to current
2008-09-04	Enrico Tassi	restored	blob \| commitdiff \| raw \| diff to current
2008-09-04	Enrico Tassi	removed old non-working file	blob \| commitdiff \| raw
2008-08-27	Claudio Sacerdoti...	Convergence is now defined.	blob \| commitdiff \| raw \| diff to current
2008-07-15	Enrico Tassi	more notation moved to core notation, unification of...	blob \| commitdiff \| raw \| diff to current
2008-07-09	Enrico Tassi	better notation	blob \| commitdiff \| raw \| diff to current
2008-07-09	Enrico Tassi	minor fixes	blob \| commitdiff \| raw \| diff to current
2008-07-09	Enrico Tassi	CProp hierarchy fixed:	blob \| commitdiff \| raw \| diff to current
2008-07-04	Claudio Sacerdoti...	More definitions, following Ciraulo's Phd Thesis "Const...	blob \| commitdiff \| raw \| diff to current
2008-07-04	Claudio Sacerdoti...	Compatibility finished.	blob \| commitdiff \| raw \| diff to current
2008-07-04	Claudio Sacerdoti...	Nice: cotransitivity proved.	blob \| commitdiff \| raw \| diff to current
2008-07-03	Claudio Sacerdoti...	More work.	blob \| commitdiff \| raw \| diff to current
2008-07-03	Claudio Sacerdoti...	First few lemmas. But I have some problems in making...	blob \| commitdiff \| raw \| diff to current
2008-07-03	Claudio Sacerdoti...	First experiment in Padua about formal topologies.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom