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

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

2002-12-12	Michele Galatà	Rearranged tactics in VariousTactics into new modules...	commit \| commitdiff \| tree
2002-12-03	Michele Galatà	Added new tactics: Exists, Split, Assumption, Absurd...	commit \| commitdiff \| tree
2002-10-31	Michele Galatà	Added variousTactic with Constructor, Left, Right,...	commit \| commitdiff \| tree
2002-08-29	Michele Galatà	Type expression simplified.	commit \| commitdiff \| tree
2002-08-29	Michele Galatà	Comment typo fixed.	commit \| commitdiff \| tree

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