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

]> matita.cs.unibo.it Git - helm.git/search

2007-06-21	Wilmer Ricciotti	PoplMark challenge part 1a: new, shorter version w...	commit \| commitdiff \| tree
2007-01-18	Wilmer Ricciotti	new version, using new tacticals	commit \| commitdiff \| tree
2006-11-30	Wilmer Ricciotti	library/Fsub: minor fix	commit \| commitdiff \| tree
2006-11-30	Wilmer Ricciotti	library: added solution to POPLMark challenge part...	commit \| commitdiff \| tree

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