projects / helm.git / search
| 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 |