src/HOL/HOLCF/Library/List_Cpo.thy
Sat, 05 Jan 2019 17:24:33 +0100 wenzelm isabelle update -u control_cartouches;
Wed, 22 Aug 2018 12:32:57 +0000 haftmann new simp rule
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Wed, 13 Jan 2016 23:07:06 +0100 wenzelm isabelle update_cartouches -c -t;
Sun, 02 Nov 2014 17:16:01 +0100 wenzelm modernized header;
Fri, 14 Feb 2014 07:53:45 +0100 blanchet merged 'List.map' and 'List.list.map'
Wed, 12 Feb 2014 08:35:56 +0100 blanchet adapted theories to '{case,rec}_{list,option}' names
Wed, 25 Dec 2013 17:39:06 +0100 haftmann prefer more canonical names for lemmas on min/max
Tue, 29 Mar 2011 17:47:11 +0200 wenzelm tuned headers;
Mon, 06 Dec 2010 08:30:00 -0800 huffman add lemmas lub_APP, lub_LAM
Tue, 30 Nov 2010 14:01:49 -0800 huffman add continuity lemma for List.map
Mon, 29 Nov 2010 14:37:40 -0800 huffman instance list :: (discrete_cpo) discrete_cpo;
Sat, 27 Nov 2010 16:08:10 -0800 huffman moved directory src/HOLCF to src/HOL/HOLCF;
less more (0) tip