| .. | | 27-Jun-2016 | - |
| CU_Unification | H A D | 12-Mar-2013 | 244 | 11 | 6 |
| CU_Unification.expected | H A D | 04-Mar-2014 | 6.6 KiB | 515 | 428 |
| CU_Unification.maude | H A D | 12-Mar-2013 | 1.2 KiB | 78 | 53 |
| Makefile.am | H A D | 27-Feb-2016 | 1.2 KiB | 62 | 58 |
| Makefile.in | H A D | 27-Jun-2016 | 30.5 KiB | 959 | 859 |
| assocUnification | H A D | 05-Apr-2014 | 252 | 11 | 6 |
| assocUnification.expected | H A D | 27-Jun-2016 | 1.2 MiB | 75,566 | 70,979 |
| assocUnification.maude | H A D | 18-May-2016 | 15.9 KiB | 604 | 553 |
| attributes | H A D | 17-Sep-2008 | 228 | 11 | 6 |
| attributes.expected | H A D | 17-Sep-2008 | 2.8 KiB | 85 | 84 |
| attributes.maude | H A D | 17-Sep-2008 | 932 | 43 | 29 |
| commands | H A D | 07-Oct-2006 | 220 | 11 | 6 |
| commands.expected | H A D | 24-May-2012 | 52 KiB | 1,233 | 1,230 |
| commands.maude | H A D | 18-Mar-2004 | 707 | 39 | 34 |
| dataStructures | H A D | 07-Oct-2006 | 244 | 11 | 6 |
| dataStructures.expected | H A D | 07-Oct-2006 | 9.3 KiB | 220 | 219 |
| dataStructures.maude | H A D | 13-Sep-2006 | 2.8 KiB | 146 | 108 |
| debug | H A D | 07-Oct-2006 | 208 | 11 | 6 |
| debug.expected | H A D | 20-May-2004 | 574 | 36 | 35 |
| debug.maude | H A D | 18-Mar-2004 | 528 | 53 | 39 |
| dekker | H A D | 07-Oct-2006 | 212 | 11 | 6 |
| dekker.expected | H A D | 18-Mar-2004 | 7.4 KiB | 105 | 104 |
| dekker.maude | H A D | 18-Mar-2004 | 4.9 KiB | 208 | 170 |
| diophantine | H A D | 07-Oct-2006 | 232 | 11 | 6 |
| diophantine.expected | H A D | 07-Oct-2005 | 1.2 KiB | 34 | 33 |
| diophantine.maude | H A D | 07-Oct-2005 | 596 | 29 | 23 |
| meseguerFiniteVariant | H A D | 27-Feb-2016 | 272 | 11 | 6 |
| meseguerFiniteVariant.expected | H A D | 27-Feb-2016 | 14.7 KiB | 922 | 756 |
| meseguerFiniteVariant.maude | H A D | 27-Feb-2016 | 12.8 KiB | 516 | 384 |
| parameterization | H A D | 07-Oct-2006 | 252 | 11 | 6 |
| parameterization.expected | H A D | 19-May-2010 | 237.7 KiB | 5,498 | 5,497 |
| parameterization.maude | H A D | 17-Sep-2008 | 5.3 KiB | 361 | 271 |
| renaming | H A D | 07-Oct-2006 | 220 | 11 | 6 |
| renaming.expected | H A D | 19-May-2010 | 16.1 KiB | 428 | 427 |
| renaming.maude | H A D | 23-Jun-2005 | 1.5 KiB | 105 | 81 |
| smtTest | H A D | 27-Jun-2016 | 391 | 19 | 13 |
| smtTest.expected | H A D | 30-Oct-2014 | 20 KiB | 598 | 540 |
| smtTest.maude | H A D | 30-Oct-2014 | 6.4 KiB | 256 | 200 |
| sreduce | H A D | 30-Oct-2013 | 216 | 11 | 6 |
| sreduce.expected | H A D | 30-Oct-2013 | 745 | 20 | 19 |
| sreduce.maude | H A D | 30-Oct-2013 | 4.2 KiB | 212 | 161 |
| unification | H A D | 19-Apr-2008 | 232 | 11 | 6 |
| unification.expected | H A D | 11-Mar-2013 | 105.3 KiB | 4,926 | 4,237 |
| unification.maude | H A D | 05-Apr-2014 | 3.6 KiB | 148 | 106 |
| unification2 | H A D | 13-Aug-2010 | 236 | 11 | 6 |
| unification2.expected | H A D | 11-Mar-2013 | 40.2 KiB | 635 | 613 |
| unification2.maude | H A D | 13-Aug-2010 | 1.7 KiB | 92 | 69 |
| unification3 | H A D | 15-Sep-2010 | 236 | 11 | 6 |
| unification3.expected | H A D | 15-Sep-2010 | 1.5 KiB | 80 | 66 |
| unification3.maude | H A D | 15-Sep-2010 | 2.1 KiB | 95 | 76 |
| variantNarrowing | H A D | 01-Aug-2012 | 252 | 11 | 6 |
| variantNarrowing.expected | H A D | 04-Mar-2014 | 93.4 KiB | 3,722 | 3,447 |
| variantNarrowing.maude | H A D | 01-Aug-2012 | 1.2 KiB | 55 | 39 |
| variantUnification | H A D | 01-Aug-2012 | 260 | 11 | 6 |
| variantUnification.expected | H A D | 04-Mar-2014 | 3.3 KiB | 235 | 196 |
| variantUnification.maude | H A D | 31-Jul-2012 | 1.3 KiB | 65 | 48 |