nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

Nominal/NewParser.thy

2010-06-01	Christian Urban	smaller code for raw-eqvt proofs	file \| diff \| annotate
2010-05-31	Christian Urban	all raw definitions are defined using function	file \| diff \| annotate
2010-05-27	Christian Urban	intermediate state	file \| diff \| annotate
2010-05-26	Christian Urban	merged	file \| diff \| annotate
2010-05-26	Christian Urban	added FSet to the correct paper	file \| diff \| annotate
2010-05-24	Christian Urban	added slides	file \| diff \| annotate
2010-05-24	Christian Urban	tuned	file \| diff \| annotate
2010-05-24	Christian Urban	tuned	file \| diff \| annotate
2010-05-24	Christian Urban	alpha works now	file \| diff \| annotate
2010-05-23	Christian Urban	started to work on alpha	file \| diff \| annotate
2010-05-22	Christian Urban	properly exported bn_descr	file \| diff \| annotate
2010-05-21	Christian Urban	hving a working fv-definition without the export	file \| diff \| annotate
2010-05-21	Christian Urban	tuned	file \| diff \| annotate
2010-05-20	Christian Urban	new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files	file \| diff \| annotate
2010-05-21	Cezary Kaliszyk	Renamings	file \| diff \| annotate
2010-05-17	Christian Urban	minor tuning	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-16	Christian Urban	moved the exporting part into the parser (this is still a hack); re-added CoreHaskell again to the examples - there seems to be a problem with the variable name pat	file \| diff \| annotate
2010-05-13	Christian Urban	made out of STEPS a configuration value so that it can be set individually in each file	file \| diff \| annotate
2010-05-13	Christian Urban	added term4 back to the examples	file \| diff \| annotate
2010-05-12	Christian Urban	merged	file \| diff \| annotate
2010-05-12	Christian Urban	moved the data-transformation into the parser	file \| diff \| annotate
2010-05-12	Cezary Kaliszyk	Move alpha_eqvt to unused.	file \| diff \| annotate
2010-05-12	Cezary Kaliszyk	Use equivariance instead of alpha_eqvt	file \| diff \| annotate
2010-05-12	Christian Urban	ingnored parameters in equivariance; added a proper interface to be called from ML	file \| diff \| annotate
2010-05-12	Christian Urban	properly exported defined bn-functions	file \| diff \| annotate
2010-05-11	Cezary Kaliszyk	Include raw permutation definitions in eqvt	file \| diff \| annotate
2010-05-10	Cezary Kaliszyk	Parser changes for compound relations	file \| diff \| annotate
2010-05-06	Cezary Kaliszyk	mem => member	file \| diff \| annotate
2010-05-04	Christian Urban	increased step counter so that all steps go through	file \| diff \| annotate
2010-05-04	Christian Urban	fixed my error with define_raw_fv	file \| diff \| annotate

less more (0) -50 -32 tip

nominal2

RSS Atom