Fun-Paper/Paper.thy
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
2011-06-16 Christian Urban added eqvt_at and invariant for boths sides of the equations
2011-06-15 Christian Urban added a stub for function paper; "isabelle make fnpaper"
less more (0) tip