2011-07-01 | Christian Urban | side-by-side tests of lets with single assignment; deep-binder case works if the recursion is avoided using an auxiliary function | file | diff | annotate |
2011-06-16 | Christian Urban | added eqvt_at and invariant for boths sides of the equations | file | diff | annotate |
2011-06-15 | Christian Urban | added a stub for function paper; "isabelle make fnpaper" | file | diff | annotate |