nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -16 tip

FSet.thy

2009-10-31	Cezary Kaliszyk	Automatic computation of application preservation and manually finished "alpha.induct". Slow...	file \| diff \| annotate
2009-10-30	Cezary Kaliszyk	Regularize for equalities and a better tactic. "alpha.cases" now lifts.	file \| diff \| annotate
2009-10-30	Cezary Kaliszyk	Regularization	file \| diff \| annotate
2009-10-30	Cezary Kaliszyk	Finally merged the code of the versions of regularize and tested examples.	file \| diff \| annotate
2009-10-30	Christian Urban	not sure what changed here	file \| diff \| annotate
2009-10-30	Cezary Kaliszyk	Finding applications and duplicates filtered out in abstractions	file \| diff \| annotate
2009-10-30	Cezary Kaliszyk	Cleaning of the interface to lift.	file \| diff \| annotate
2009-10-29	Cezary Kaliszyk	Fixed wrong CARD definition and removed the "Does not work anymore" comment.	file \| diff \| annotate
2009-10-29	Christian Urban	merged	file \| diff \| annotate
2009-10-28	Christian Urban	updated some definitions; had to give sometimes different names; somewhere I introduced a bug, since not everything is working anymore (needs fixing!)	file \| diff \| annotate
2009-10-28	Cezary Kaliszyk	disambiguate ===> syntax	file \| diff \| annotate
2009-10-28	Cezary Kaliszyk	cleaned FSet	file \| diff \| annotate
2009-10-28	Cezary Kaliszyk	Some cleaning	file \| diff \| annotate
2009-10-28	Cezary Kaliszyk	Fixes	file \| diff \| annotate
2009-10-28	Christian Urban	merged	file \| diff \| annotate
2009-10-28	Christian Urban	added infrastructure for defining lifted constants	file \| diff \| annotate

less more (0) -16 tip

nominal2