nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

Nominal/FSet.thy

2010-09-17	Christian Urban	updated to Isabelle Sept 16	file \| diff \| annotate
2010-07-22	Christian Urban	updated to new Isabelle; made FSet more "quiet"	file \| diff \| annotate
2010-07-19	Christian Urban	minor	file \| diff \| annotate
2010-07-18	Christian Urban	minor things on the paper	file \| diff \| annotate
2010-07-18	Christian Urban	some test with quotient	file \| diff \| annotate
2010-06-23	Christian Urban	merged cezary's changes	file \| diff \| annotate
2010-06-23	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-06-23	Cezary Kaliszyk	Changes for PER and list_all2 committed to Isabelle	file \| diff \| annotate
2010-06-22	Christian Urban	cleaned up the FSet (noise was introduced by error)	file \| diff \| annotate
2010-06-20	Christian Urban	eliminated a quot_thm flag	file \| diff \| annotate
2010-06-16	Christian Urban	conclusion done	file \| diff \| annotate
2010-06-15	Cezary Kaliszyk	Qpaper / Clarify the typing system and composition of quotients issue.	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-06-14	Cezary Kaliszyk	qpaper/unfold the ball_reg_right statement	file \| diff \| annotate
2010-06-14	Christian Urban	some tuning and start work on section 4	file \| diff \| annotate
2010-06-14	Christian Urban	completed proof and started section about respectfulness and preservation	file \| diff \| annotate
2010-06-13	Christian Urban	something about the quotient ype definitions	file \| diff \| annotate
2010-06-11	Christian Urban	more on the qpaper	file \| diff \| annotate
2010-05-27	Cezary Kaliszyk	qpaper / a bit about prs	file \| diff \| annotate
2010-05-26	Cezary Kaliszyk	qpaper	file \| diff \| annotate
2010-05-26	Cezary Kaliszyk	Name some respectfullness	file \| diff \| annotate
2010-05-10	Cezary Kaliszyk	Synchronize FSet with repository	file \| diff \| annotate
2010-04-26	Cezary Kaliszyk	merge ???	file \| diff \| annotate
2010-04-21	Cezary Kaliszyk	infix for In	file \| diff \| annotate

less more (0) -50 -24 tip

nominal2

RSS Atom