projects / helm.git / search
| 2006-04-04 | Andrea Asperti | Naif substitution. Removed local context in metas during... |
commit | commitdiff | tree |
| 2006-03-27 | Andrea Asperti | args removed from equalities. |
commit | commitdiff | tree |
| 2006-03-24 | Andrea Asperti | New unification and new matching. |
commit | commitdiff | tree |
| 2006-03-23 | Andrea Asperti | Best parameter setting for de morgan. |
commit | commitdiff | tree |
| 2006-03-22 | Andrea Asperti | : |
commit | commitdiff | tree |
| 2006-03-21 | Andrea Asperti | Changed the type of compute-equality_weight that now... |
commit | commitdiff | tree |
| 2006-03-20 | Andrea Asperti | Renamed SK.ma into bool.ma |
commit | commitdiff | tree |
| 2006-03-20 | Andrea Asperti | Esempi di auto. |
commit | commitdiff | tree |
| 2006-03-20 | Andrea Asperti | Snapshot. |
commit | commitdiff | tree |
| 2006-02-06 | Andrea Asperti | termine bacato. |
commit | commitdiff | tree |
| 2006-02-06 | Andrea Asperti | fixed usage of matita.auto_disambiguation |
commit | commitdiff | tree |
| 2006-02-06 | Andrea Asperti | Bug? |
commit | commitdiff | tree |