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

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

2019-09-27	Andrea Berlingieri	Add last declarative tactics, modify rewriting tactics	commit \| commitdiff \| tree
2019-09-27	Andrea Berlingieri	Changes to declarative tactics, implementation of equality...	commit \| commitdiff \| tree
2019-09-27	Andrea Berlingieri	Many changes	commit \| commitdiff \| tree
2019-09-27	Andrea Berlingieri	Add drafts for some tactics	commit \| commitdiff \| tree
2019-09-27	Andrea Berlingieri	Partially restore the suppose tactic	commit \| commitdiff \| tree
2019-09-27	Andrea Berlingieri	Partially restore the assume tactic	commit \| commitdiff \| tree

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