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

]> matita.cs.unibo.it Git - helm.git/history - helm/style/inductive.xsl

[helm.git] / helm / style / inductive.xsl

2004-01-19	Claudio Sacerdoti...	No longer in use. The official repository for the	commit \| commitdiff
2004-01-19	Claudio Sacerdoti...	Branch V7_3_new_exportation merged.	commit \| commitdiff
2001-09-14	Claudio Sacerdoti...	* getter.xsl added	commit \| commitdiff
2001-07-24	Irene Schena	--------------------------------------------------...	commit \| commitdiff
2001-04-05	Andrea Asperti	Bug nat_double_ind solved.	commit \| commitdiff
2001-04-03	Andrea Asperti	* empty log message *	commit \| commitdiff

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