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

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

2006-02-08	Claudio Sacerdoti...	Never implemented tactics compare and decide equality...	commit \| commitdiff \| tree
2006-02-08	Claudio Sacerdoti...	Help for the first two tactics.	commit \| commitdiff \| tree
2006-02-07	Claudio Sacerdoti...	Added a few basic definitions of subgroups and left...	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	Basic facts about group morphisms.	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	first sketch of the documentation (to be used by yelp)	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	* groups splitted into groups and finite_groups	commit \| commitdiff \| tree
2006-02-06	Claudio Sacerdoti...	removed a Pcre capture that being _NON TAIL RECURSIVE_...	commit \| commitdiff \| tree
2006-02-03	Claudio Sacerdoti...	First proof on groups completed!	commit \| commitdiff \| tree

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