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

Nominal/Perm.thy

2010-05-19	Christian Urban	added comments about pottiers work	file \| diff \| annotate
2010-05-17	Christian Urban	slight tuning	file \| diff \| annotate
2010-05-17	Christian Urban	somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms	file \| diff \| annotate
2010-05-12	Christian Urban	properly exported defined bn-functions	file \| diff \| annotate
2010-05-04	Christian Urban	fixed my error with define_raw_fv	file \| diff \| annotate
2010-05-04	Christian Urban	tuned	file \| diff \| annotate
2010-05-04	Christian Urban	roll back of the last commit (there was a difference)	file \| diff \| annotate
2010-05-04	Christian Urban	tuned	file \| diff \| annotate
2010-05-04	Christian Urban	to my best knowledge the number of datatypes is equal to the length of the dt_descr; so we can save one argument in define_raw_perm	file \| diff \| annotate
2010-04-28	Christian Urban	simpliied and moved the remaining lemmas about the atom-function to Nominal2_Base	file \| diff \| annotate
2010-04-28	Christian Urban	factured out common functionality of prefixing the dt-names with a string	file \| diff \| annotate
2010-04-20	Christian Urban	tuning of the code	file \| diff \| annotate
2010-04-20	Christian Urban	reordered code	file \| diff \| annotate
2010-04-20	Christian Urban	renamed "_empty" and "_append" to "_zero" and "_plus"	file \| diff \| annotate
2010-04-20	Christian Urban	removed dead code (nominal cannot deal with argument types of constructors that are functions)	file \| diff \| annotate

less more (0) -15 tip

nominal2