Wed, 03 Dec 2008 22:16:20 -0800 huffman change some lemmas to avoid using iszero
Wed, 03 Dec 2008 21:50:36 -0800 huffman enable eq_bin_simps for simplifying equalities on numerals
Thu, 04 Dec 2008 14:44:07 +0100 haftmann merged
Thu, 04 Dec 2008 14:43:33 +0100 haftmann cleaned up binding module and related code
Thu, 04 Dec 2008 14:17:36 +0100 nipkow NEWS
Wed, 03 Dec 2008 21:00:39 -0800 huffman fix proofs related to simplification of inequalities on numerals
Wed, 03 Dec 2008 20:45:42 -0800 huffman enable le_bin_simps and less_bin_simps for simplifying inequalities on numerals
Wed, 03 Dec 2008 20:24:17 -0800 huffman simplify proof of less_nat_number_of
Wed, 03 Dec 2008 15:04:37 -0800 huffman merged.
Wed, 03 Dec 2008 15:00:50 -0800 huffman fixed proofs due to changes in Int.thy
Wed, 03 Dec 2008 14:23:03 -0800 huffman cleaned up subsection headings;
Wed, 03 Dec 2008 21:22:38 +0100 wenzelm sources are not executable;
Wed, 03 Dec 2008 21:15:46 +0100 wenzelm eliminated traces of old Distribution directory;
Wed, 03 Dec 2008 21:02:20 +0100 wenzelm merged
Wed, 03 Dec 2008 21:02:12 +0100 wenzelm remove *.lof as well;
Wed, 03 Dec 2008 15:59:56 +0100 haftmann merged
Wed, 03 Dec 2008 15:58:44 +0100 haftmann made repository layout more coherent with logical distribution structure; stripped some $Id$s
Wed, 03 Dec 2008 15:27:41 +0100 ballarin Sublocale: removed public after_qed; identifiers private to NewLocale.
Wed, 03 Dec 2008 15:26:46 +0100 ballarin Made global_note_qualified public.
Wed, 03 Dec 2008 14:02:24 +0000 webertj more examples
Wed, 03 Dec 2008 09:53:58 +0100 haftmann fixed typo
Wed, 03 Dec 2008 09:51:35 +0100 haftmann unfold_locales is default method - no need for explicit references
Tue, 02 Dec 2008 17:50:39 +0100 wenzelm Automated merge with file:///mnt/home/isabelle-repository/repos/isabelle
Tue, 02 Dec 2008 14:29:12 +0100 berghofe Corrected imports.
Mon, 01 Dec 2008 15:36:48 -0800 huffman clean up imports related to ContNotDenum
Mon, 01 Dec 2008 22:00:38 +0100 wenzelm ignore aux stuff in doc-src;
Mon, 01 Dec 2008 19:42:26 +0100 haftmann merged
Mon, 01 Dec 2008 19:41:16 +0100 haftmann new Binding module
Mon, 01 Dec 2008 16:02:57 +0100 haftmann Locale.*note* with conventional argument type
Mon, 01 Dec 2008 14:56:08 +0100 haftmann added code equation for subset
Mon, 01 Dec 2008 17:38:17 +0100 ballarin Merged again.
Mon, 01 Dec 2008 17:37:02 +0100 ballarin Merged.
Mon, 01 Dec 2008 16:59:31 +0100 ballarin No resolution of patterns within context statements.
Tue, 02 Dec 2008 17:50:25 +0100 wenzelm removed CVS Id;
Mon, 01 Dec 2008 17:48:12 +0100 wenzelm proper check of ISABELLE_TOOLS directories;
Mon, 01 Dec 2008 17:32:40 +0100 wenzelm removed obsolete tags (leftover from old CVS branches);
Mon, 01 Dec 2008 17:07:06 +0100 wenzelm makedist -- make Isabelle source distribution (Mercurial version);
Mon, 01 Dec 2008 15:22:17 +0100 wenzelm renamed makedist_mercurial to makedist, deleting the old version;
Mon, 01 Dec 2008 14:46:27 +0100 wenzelm updated to python2.5;
Mon, 01 Dec 2008 14:42:24 +0100 wenzelm convert to isabelle-cvs, the old version;
Mon, 01 Dec 2008 14:41:13 +0100 wenzelm adapted description: old CVS;
Mon, 01 Dec 2008 13:43:32 +0100 ballarin Methods intro_locales and unfold_locales apply to both old and new locales.
Mon, 01 Dec 2008 12:17:04 +0100 haftmann code_include with attach
Mon, 01 Dec 2008 12:17:03 +0100 haftmann experimental implementation of a well-sorting algorithm
Mon, 01 Dec 2008 12:17:02 +0100 haftmann code_funcgr interface includes also sort algebra
Mon, 01 Dec 2008 12:17:01 +0100 haftmann exported get_accesses (for diagnostic purpose)
Mon, 01 Dec 2008 12:17:00 +0100 haftmann more means for algebra projection
Mon, 01 Dec 2008 12:16:59 +0100 haftmann consider TeX spacing conventions for punctuation marks
Sun, 30 Nov 2008 18:10:00 +0100 huffman fix typed print translation for card UNIV
Sun, 30 Nov 2008 16:00:16 +0100 wenzelm removed obsolete CVS instructions;
Sun, 30 Nov 2008 15:03:47 +0100 wenzelm fixed spelling;
Sun, 30 Nov 2008 14:43:29 +0100 wenzelm tuned;
Sun, 30 Nov 2008 14:03:46 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Sun, 30 Nov 2008 14:03:45 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Sun, 30 Nov 2008 12:58:20 +0100 wenzelm default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
Sun, 30 Nov 2008 12:25:54 +0100 wenzelm misc tuning and clarification;
Sat, 29 Nov 2008 19:21:32 +0100 wenzelm remove repository-only files;
Sat, 29 Nov 2008 19:20:12 +0100 wenzelm more .hgignore entries;
Sat, 29 Nov 2008 19:01:28 +0100 wenzelm tuned;
Sat, 29 Nov 2008 18:26:53 +0100 wenzelm basic setup of .hgignore;
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip