| 2010-09-03 | Christian Urban | moved a proof to Abs | file | diff | annotate |
| 2010-09-03 | Christian Urban | made the fv-definition aggree more with alpha (needed in the support proofs) | file | diff | annotate |
| 2010-09-02 | Christian Urban | some experiments with support | file | diff | annotate |
| 2010-08-29 | Christian Urban | renamed NewParser to Nominal2 | file | diff | annotate |
| 2010-08-29 | Christian Urban | updated todos | file | diff | annotate |
| 2010-08-28 | Christian Urban | added fs-instance proofs | file | diff | annotate |
| 2010-08-28 | Christian Urban | added proofs for fsupp properties | file | diff | annotate |
| 2010-08-28 | Christian Urban | fiexed problem with constructors that have no arguments | file | diff | annotate |