src/HOL/Library/BNF_Corec.thy
Thu, 14 Mar 2019 16:55:06 +0100 wenzelm more specific keyword kinds;
Sun, 06 Jan 2019 15:04:34 +0100 wenzelm isabelle update -u path_cartouches;
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Sun, 26 Nov 2017 21:08:32 +0100 wenzelm more symbols;
Mon, 24 Oct 2016 16:53:32 +0200 traytel additional user-specified simp (naturality) rules used in friend_of_corec
Mon, 24 Oct 2016 16:53:32 +0200 traytel apply transfer_prover after folding relator_eq
Wed, 23 Mar 2016 16:37:19 +0100 blanchet proper sectioning
Tue, 22 Mar 2016 12:39:37 +0100 blanchet moved 'corec' from ssh://hg@bitbucket.org/jasmin_blanchette/nonprim-corec to Isabelle
less more (0) tip