Fun-Paper/Paper.thy
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