| 2010-11-15 | Christian Urban | proved that bn functions return a finite set | changeset | files |
| 2010-11-15 | Christian Urban | added a test for the various shallow binders | changeset | files |
| 2010-11-15 | Christian Urban | fixed bug in fv function where a shallow binder binds lists of names | changeset | files |
| 2010-11-14 | Christian Urban | merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy | changeset | files |
| 2010-11-14 | Christian Urban | deleted special Nominal2_FSet theory | changeset | files |
| 2010-11-14 | Christian Urban | moved rest of the lemmas from Nominal2_FSet to the TypeScheme example | changeset | files |
| 2010-11-14 | Christian Urban | moved most material fron Nominal2_FSet into the Nominal_Base theory | changeset | files |
| Loading... | |||