Index of /users/eker/Maude/Alpha120/maude-alpha120/tests/ResolvedBugs

	Name	Last modified	Size	Description
	Parent Directory		-
	unificationMar2013.maude	2013-03-11 17:55	1.0K
	unificationMar2013.expected	2017-08-03 18:53	1.3K
	unificationMar2013	2013-03-11 17:51	260
	staleViewJune2018.maude	2018-06-29 11:56	850
	staleViewJune2018.expected	2018-06-29 12:04	709
	staleViewJune2018	2018-06-25 19:19	256
	showModuleJune2018.maude	2018-08-09 19:07	1.2K
	showModuleJune2018.expected	2018-08-09 19:20	332
	showModuleJune2018	2018-06-26 18:24	260
	physArgIndexOct2018.maude	2018-10-23 19:55	912
	physArgIndexOct2018.expected	2018-10-23 20:01	598
	physArgIndexOct2018	2018-10-23 19:57	264
	parserJune2018.maude	2018-06-25 19:16	237
	parserJune2018.expected	2018-06-28 19:52	134
	parserJune2018	2018-06-25 18:42	244
	objectMessageOct2018.maude	2018-10-09 19:10	580
	objectMessageOct2018.expected	2018-10-09 19:19	504
	objectMessageOct2018	2018-10-09 19:11	268
	metaModuleCacheJune2018.maude	2018-08-09 19:12	1.3K
	metaModuleCacheJune2018.expected	2018-08-09 19:23	658
	metaModuleCacheJune2018	2018-06-26 19:14	280
	metaIntRewriteJune2018.maude	2018-08-09 19:10	1.0K
	metaIntRewriteJune2018.expected	2018-08-09 19:21	265
	metaIntRewriteJune2018	2018-06-28 17:35	276
	metaIntMatchOct2018.maude	2018-10-11 18:36	1.8K
	metaIntMatchOct2018.expected	2018-10-11 18:51	10K
	metaIntMatchOct2018	2018-10-11 18:54	264
	metaIntImportJune2018.maude	2018-08-09 19:14	1.2K
	metaIntImportJune2018.expected	2018-08-09 19:23	306
	metaIntImportJune2018	2018-06-27 13:13	272
	metaIntAscentJune2018.maude	2018-08-09 19:14	1.2K
	metaIntAscentJune2018.expected	2018-08-09 19:24	418
	metaIntAscentJune2018	2018-06-27 14:14	272
	metaApplyNov2018.maude	2018-11-09 19:05	629
	metaApplyNov2018.expected	2018-11-09 19:21	2.2K
	metaApplyNov2018	2018-11-09 19:03	252
	clearRulesJune2018.maude	2018-06-27 19:08	445
	clearRulesJune2018.expected	2018-06-28 19:56	163
	clearRulesJune2018	2018-06-27 19:07	260
	Makefile.in	2018-11-26 15:45	30K
	Makefile.am	2018-11-09 19:10	1.2K
	CUIbug12-22-09.maude	2010-05-21 17:25	1.0K
	CUIbug12-22-09.expected	2017-08-03 18:52	227
	CUIbug12-22-09	2009-12-23 17:05	244