2010-11-15 | Christian Urban | proved that bn functions return a finite set | file | diff | annotate |
2010-11-15 | Christian Urban | fixed bug in fv function where a shallow binder binds lists of names | file | diff | annotate |
2010-11-14 | Christian Urban | merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy | file | diff | annotate | base |