src/ZF/UNITY/MultisetSum.thy
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Thu, 23 Jul 2015 14:25:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 16:39:54 +0100 wenzelm modernized header;
Tue, 06 Mar 2012 17:01:37 +0000 paulson More mathematical symbols for ZF examples
Thu, 22 Jul 2010 18:08:39 +0200 wenzelm updated some headers;
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
Sun, 07 Oct 2007 21:19:31 +0200 wenzelm modernized specifications;
Sun, 19 Sep 2004 16:51:10 +0200 paulson converting UNITY/MultisetSum.ML to Isar script
Wed, 28 May 2003 18:13:41 +0200 paulson some new ZF/UNITY material from Sidi Ehmety
less more (0) tip