src/HOL/Library/Preorder.thy
Wed, 10 Jan 2018 15:21:49 +0100 nipkow Manual updates towards conversion of "op" syntax
Sat, 04 Nov 2017 19:17:19 +0100 wenzelm prefer main entry points of HOL;
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Tue, 12 Jul 2016 20:03:18 +0200 wenzelm misc tuning and modernization;
Sat, 10 Oct 2015 19:22:05 +0200 wenzelm prefer symbols;
Fri, 09 Oct 2015 20:26:03 +0200 wenzelm discontinued specific HTML syntax;
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Thu, 07 May 2009 16:22:34 +0200 haftmann better to have distinguished class for preorders
Thu, 07 May 2009 12:17:17 +0200 haftmann added theory for explicit equivalence relation in preorders
less more (0) tip