isabelle: Changelog

haftmann [Sun, 07 Sep 2014 17:51:28 +0200] rev 58201

separated class_deps command into separate file

steckerm [Sun, 07 Sep 2014 14:39:23 +0200] rev 58200

Added translation for lambda expressions in terms.

haftmann [Sun, 07 Sep 2014 09:49:05 +0200] rev 58199

explicit theory with additional, less commonly used list operations

haftmann [Sun, 07 Sep 2014 09:49:01 +0200] rev 58198

generalized

haftmann [Sat, 06 Sep 2014 20:12:36 +0200] rev 58197

theory about sum and product on function bodies

haftmann [Sat, 06 Sep 2014 20:12:34 +0200] rev 58196

theory about lexicographic ordering on functions

haftmann [Sat, 06 Sep 2014 20:12:32 +0200] rev 58195

added various facts

paulson <lp15@cam.ac.uk> [Fri, 05 Sep 2014 16:09:03 +0100] rev 58194

Generalised card_length_listsum to all m

nipkow [Fri, 05 Sep 2014 14:58:13 +0200] rev 58193

added lemma

blanchet [Fri, 05 Sep 2014 00:41:01 +0200] rev 58192

updated docs

isabelle