nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

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

Quot/Examples/IntEx2.thy

2010-02-12	Cezary Kaliszyk	renamed 'as' to 'is' everywhere.	file \| diff \| annotate
2010-02-12	Cezary Kaliszyk	The lattice instantiations are gone from Isabelle/Main, so	file \| diff \| annotate
2010-02-11	Cezary Kaliszyk	Main renaming + fixes for new Isabelle in IntEx2.	file \| diff \| annotate
2010-01-21	Cezary Kaliszyk	Changed fun_map and rel_map to definitions.	file \| diff \| annotate
2009-12-26	Christian Urban	generalised absrep function; needs consolidation	file \| diff \| annotate
2009-12-19	Christian Urban	on suggestion of Tobias renamed "quotient_def" to "quotient_definition"; needs new keyword file	file \| diff \| annotate
2009-12-19	Christian Urban	renamed "quotient" command to "quotient_type"; needs new keyword file to be installed	file \| diff \| annotate
2009-12-11	Cezary Kaliszyk	Renaming	file \| diff \| annotate
2009-12-11	Christian Urban	added Int example from Larry	file \| diff \| annotate
2009-12-11	Cezary Kaliszyk	More theorem renaming.	file \| diff \| annotate
2009-12-11	Cezary Kaliszyk	Renamed theorems in IntEx2 to conform to names in Int.	file \| diff \| annotate
2009-12-11	Cezary Kaliszyk	New syntax for definitions.	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	Moved 'int_induct' to IntEx to keep IntEx2 being just theory of integers in order.	file \| diff \| annotate
2009-12-10	Cezary Kaliszyk	Removed 'Presburger' as it introduces int & other minor cleaning in Int2.	file \| diff \| annotate
2009-12-10	Christian Urban	merged	file \| diff \| annotate

less more (0) -15 tip

nominal2