haftmann [Thu, 31 Oct 2013 11:44:20 +0100] rev 55671
consolidated clone theory
nipkow [Thu, 31 Oct 2013 11:48:45 +0100] rev 55670
more exercises
nipkow [Wed, 30 Oct 2013 17:20:59 +0100] rev 55669
tuned text
berghofe [Tue, 29 Oct 2013 13:48:18 +0100] rev 55668
inst_lift now fully instantiates context to avoid problems with loose bound variables
panny [Tue, 29 Oct 2013 12:13:00 +0100] rev 55667
include corecursive functions' arguments in callssss
nipkow [Tue, 29 Oct 2013 08:06:08 +0100] rev 55666
more exercises
nipkow [Mon, 28 Oct 2013 10:29:56 +0100] rev 55665
merged
nipkow [Mon, 28 Oct 2013 10:29:43 +0100] rev 55664
more exercises
blanchet [Sun, 27 Oct 2013 19:02:26 +0100] rev 55663
commented out vaporware
nipkow [Sat, 26 Oct 2013 23:06:40 +0200] rev 55662
more exercises