| 2010-04-29 | Christian Urban | added missing latex-style file | changeset | files |
| 2010-04-29 | Christian Urban | merged | changeset | files |
| 2010-04-29 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | changeset | files |
| 2010-04-28 | Cezary Kaliszyk | Cleaning of Int and FSet Examples | changeset | files |
| 2010-04-28 | Christian Urban | use the more general type-class at_base | changeset | files |
| 2010-04-28 | Christian Urban | deleted left-over code | changeset | files |
| 2010-04-28 | Christian Urban | simpliied and moved the remaining lemmas about the atom-function to Nominal2_Base | changeset | files |
| Loading... | |||