lexing: File revisions

Mercurial Mercurial > hg > lexing / file revisions

thys/ReStar.thy

2016-03-01	Christian Urban	updated paper	file \| diff \| annotate
2016-02-28	Christian Urban	updated	file \| diff \| annotate
2016-02-25	Christian Urban	more cleaning and moving unnessary stuff to the end	file \| diff \| annotate
2016-02-25	Christian Urban	updated	file \| diff \| annotate
2016-02-24	Christian Urban	updated theories and cleaned them up	file \| diff \| annotate
2016-02-15	Christian Urban	added some slides	file \| diff \| annotate
2016-02-13	Christian Urban	updated	file \| diff \| annotate
2016-02-10	Christian Urban	fixed inj function	file \| diff \| annotate
2016-02-08	Christian Urban	strengthened PMatch to get determ	file \| diff \| annotate
2016-02-08	Christian Urban	updated	file \| diff \| annotate
2016-02-07	Christian Urban	updated	file \| diff \| annotate
2016-02-05	Christian Urban	started a paper and moved cruft to Attic	file \| diff \| annotate
2016-02-02	Christian Urban	proved also finiteness of non-problematic values	file \| diff \| annotate
2016-02-01	Christian Urban	extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values \|=	file \| diff \| annotate
2016-02-01	Christian Urban	ReStar changes	file \| diff \| annotate
2016-02-01	Christian Urban	more lemmas for star	file \| diff \| annotate
2016-01-30	Christian Urban	proved some lemmas about star and mkeps (injval etc not yet done)	file \| diff \| annotate
2016-01-21	Christian Urban	added theory for star	file \| diff \| annotate

lexing