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

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

2002-11-25	Pietro Di Lena	Now it is possible to define a 'cookable' operator...	commit \| commitdiff \| tree
2002-11-25	Pietro Di Lena	Changed cic:/Coq/Sets/Ensembles/Ensembles/Empty_set...	commit \| commitdiff \| tree
2002-11-25	Pietro Di Lena	Now value returned by get_no_params function is a number...	commit \| commitdiff \| tree

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