![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CU_Unification | 2013-03-12 14:38 | 244 | |
| CU_Unification.expected | 2017-08-03 17:34 | 6.6K | |
| CU_Unification.maude | 2013-03-11 18:08 | 1.2K | |
| Makefile.am | 2018-07-09 19:36 | 1.4K | |
| Makefile.in | 2018-11-26 15:45 | 32K | |
| assocUnification | 2014-04-04 18:46 | 252 | |
| assocUnification.expected | 2017-08-03 17:26 | 1.2M | |
| assocUnification.maude | 2016-05-17 17:28 | 16K | |
| attributes | 2008-09-17 11:50 | 228 | |
| attributes.expected | 2017-08-03 17:27 | 2.8K | |
| attributes.maude | 2008-09-17 11:53 | 932 | |
| bubble | 2018-03-15 18:53 | 212 | |
| bubble.expected | 2018-03-27 17:27 | 3.9K | |
| bubble.maude | 2018-03-27 17:24 | 8.4K | |
| commands | 2006-10-06 18:41 | 220 | |
| commands.expected | 2018-06-20 15:18 | 52K | |
| commands.maude | 2004-03-17 17:17 | 707 | |
| continue | 2017-04-13 18:42 | 220 | |
| continue.expected | 2017-08-03 17:34 | 13K | |
| continue.maude | 2017-05-30 17:34 | 2.0K | |
| dataStructures | 2006-10-06 18:45 | 244 | |
| dataStructures.expected | 2017-08-03 17:34 | 9.3K | |
| dataStructures.maude | 2006-09-13 15:15 | 2.8K | |
| debug | 2006-10-06 18:42 | 208 | |
| debug.expected | 2017-08-03 17:34 | 560 | |
| debug.maude | 2004-03-17 17:15 | 528 | |
| dekker | 2006-10-06 18:42 | 212 | |
| dekker.expected | 2017-08-03 17:34 | 7.4K | |
| dekker.maude | 2004-03-17 17:10 | 4.9K | |
| diophantine | 2006-10-06 18:43 | 232 | |
| diophantine.expected | 2017-08-03 17:34 | 1.2K | |
| diophantine.maude | 2005-10-06 17:11 | 596 | |
| meseguerFiniteVariant | 2016-02-26 17:33 | 272 | |
| meseguerFiniteVariant.expected | 2017-08-03 17:34 | 15K | |
| meseguerFiniteVariant.maude | 2016-02-26 17:57 | 13K | |
| narrow | 2017-03-10 18:30 | 212 | |
| narrow.expected | 2017-08-03 17:34 | 23K | |
| narrow.maude | 2017-05-26 18:35 | 1.3K | |
| parameterization | 2006-10-06 18:43 | 252 | |
| parameterization.expected | 2017-08-04 18:00 | 238K | |
| parameterization.maude | 2008-09-16 18:16 | 5.3K | |
| parse | 2018-03-15 18:42 | 208 | |
| parse.expected | 2018-03-15 19:51 | 716 | |
| parse.maude | 2018-03-15 19:23 | 1.4K | |
| renaming | 2006-10-06 18:43 | 220 | |
| renaming.expected | 2018-06-20 15:19 | 16K | |
| renaming.maude | 2005-06-23 12:56 | 1.5K | |
| rot13 | 2018-07-09 19:34 | 208 | |
| rot13.expected | 2018-07-09 19:40 | 564 | |
| rot13.maude | 2018-07-09 19:40 | 1.4K | |
| smtTest | 2017-06-21 16:20 | 516 | |
| smtTest.expected | 2017-08-03 17:34 | 26K | |
| smtTest.maude | 2017-12-01 19:30 | 8.4K | |
| sreduce | 2013-10-29 18:42 | 216 | |
| sreduce.expected | 2017-08-03 17:34 | 731 | |
| sreduce.maude | 2013-10-29 18:48 | 4.2K | |
| unification | 2008-04-18 18:43 | 232 | |
| unification.expected | 2017-08-03 17:34 | 105K | |
| unification.maude | 2018-07-02 16:16 | 3.6K | |
| unification2 | 2010-08-12 19:34 | 236 | |
| unification2.expected | 2017-08-03 17:34 | 40K | |
| unification2.maude | 2010-08-12 19:33 | 1.7K | |
| unification3 | 2010-09-14 18:22 | 236 | |
| unification3.expected | 2017-08-03 17:34 | 1.5K | |
| unification3.maude | 2010-09-14 18:22 | 2.1K | |
| variantNarrowing | 2012-07-31 18:42 | 252 | |
| variantNarrowing.expected | 2017-08-03 17:34 | 93K | |
| variantNarrowing.maude | 2012-07-31 18:41 | 1.2K | |
| variantUnification | 2012-07-31 17:03 | 260 | |
| variantUnification.expected | 2017-08-03 17:34 | 3.3K | |
| variantUnification.maude | 2012-07-31 16:55 | 1.3K | |
| view | 2018-05-11 16:28 | 204 | |
| view.expected | 2018-05-11 16:31 | 377 | |
| view.maude | 2018-05-11 16:27 | 1.0K | |