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

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

2009-06-22	denes	Small debugging in tptp2grafite	commit \| commitdiff \| tree
2009-06-18	denes	Added ntry and nassumption tactics	commit \| commitdiff \| tree
2009-06-18	denes	Fixed stupid path	commit \| commitdiff \| tree
2009-06-18	denes	Added script useful for running benchmarks	commit \| commitdiff \| tree
2009-06-18	denes	Changed parenthesis to optional around letin ident...	commit \| commitdiff \| tree
2009-06-18	denes	Fixed wrong types in proof terms	commit \| commitdiff \| tree
2009-06-17	denes	Added optionnal one pass simplification (instead of...	commit \| commitdiff \| tree
2009-06-12	denes	Implemented keep_simplified.	commit \| commitdiff \| tree
2009-06-11	denes	Active goals are now demodulated after selecting a...	commit \| commitdiff \| tree
2009-06-10	denes	Extended the equality case to non ground terms	commit \| commitdiff \| tree
2009-06-09	denes	Optimized weigths comparison, removed normalization	commit \| commitdiff \| tree
2009-06-09	denes	Implemented substitution application and concatenation	commit \| commitdiff \| tree
2009-06-05	denes	First tests for paramodulation (pretty printer, unification)	commit \| commitdiff \| tree
2009-06-05	denes	Fix : wrong exception was catch in apply_subst	commit \| commitdiff \| tree
2009-06-04	denes	First pretty printing functions	commit \| commitdiff \| tree
2009-06-01	denes	First implementation of unification on foterms	commit \| commitdiff \| tree
2009-06-01	denes	First functions on substitutions for unification	commit \| commitdiff \| tree

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