| Mon, 27 Jul 2009 22:50:01 +0200 |
krauss |
some lemmas about maps (contributed by Peter Lammich)
|
file |
diff |
annotate
|
| Tue, 02 Jun 2009 16:23:43 +0200 |
haftmann |
added/moved lemmas by Andreas Lochbihler
|
file |
diff |
annotate
|
| Sat, 09 May 2009 07:25:22 +0200 |
nipkow |
lemmas by Andreas Lochbihler
|
file |
diff |
annotate
|
| Thu, 16 Apr 2009 14:02:12 +0200 |
haftmann |
dropped unnamed infix
|
file |
diff |
annotate
|
| Fri, 27 Mar 2009 10:05:11 +0100 |
haftmann |
normalized imports
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:47:20 +0100 |
nipkow |
Made Option a separate theory and renamed option_map to Option.map
|
file |
diff |
annotate
|
| Fri, 23 Jan 2009 19:51:48 +0100 |
haftmann |
lemmas dom_const, dom_if
|
file |
diff |
annotate
|
| Fri, 14 Nov 2008 08:50:08 +0100 |
haftmann |
lemmas about dom and minus / insert
|
file |
diff |
annotate
|
| Fri, 10 Oct 2008 06:45:53 +0200 |
haftmann |
`code func` now just `code`
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 19:04:37 +0100 |
haftmann |
lemmas about map_of (zip _ _)
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 14:54:41 +0100 |
haftmann |
improved code theorem setup
|
file |
diff |
annotate
|
| Mon, 17 Dec 2007 18:01:51 +0100 |
haftmann |
whitespace typo
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 15:26:39 +0100 |
haftmann |
(reverted to unnamed infix)
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 09:01:39 +0100 |
haftmann |
dropped legacy unnamed infix
|
file |
diff |
annotate
|
| Sun, 19 Aug 2007 21:21:37 +0200 |
nipkow |
Made UN_Un simp
|
file |
diff |
annotate
|
| Fri, 20 Apr 2007 11:21:42 +0200 |
haftmann |
Isar definitions are now added explicitly to code theorem table
|
file |
diff |
annotate
|
| Fri, 02 Feb 2007 15:47:58 +0100 |
nipkow |
a few additions and deletions
|
file |
diff |
annotate
|
| Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
| Tue, 07 Nov 2006 11:47:57 +0100 |
wenzelm |
renamed 'const_syntax' to 'notation';
|
file |
diff |
annotate
|
| Sat, 30 Sep 2006 21:39:24 +0200 |
wenzelm |
tuned specifications and proofs;
|
file |
diff |
annotate
|
| Sat, 24 Jun 2006 22:25:30 +0200 |
wenzelm |
fixed translations for _MapUpd: CONST;
|
file |
diff |
annotate
|
| Tue, 16 May 2006 21:33:01 +0200 |
wenzelm |
tuned concrete syntax -- abbreviation/const_syntax;
|
file |
diff |
annotate
|
| Sun, 09 Apr 2006 14:47:24 +0200 |
nipkow |
Made "empty" an abbreviation.
|
file |
diff |
annotate
|
| Thu, 23 Mar 2006 20:03:53 +0100 |
nipkow |
Converted translations to abbbreviations.
|
file |
diff |
annotate
|
| Wed, 04 Jan 2006 19:22:53 +0100 |
nipkow |
Reversed Larry's option/iff change.
|
file |
diff |
annotate
|
| Wed, 21 Dec 2005 12:02:57 +0100 |
paulson |
removed or modified some instances of [iff]
|
file |
diff |
annotate
|
| Fri, 07 Oct 2005 22:59:19 +0200 |
wenzelm |
replaced _K by dummy abstraction;
|
file |
diff |
annotate
|
| Thu, 29 Sep 2005 17:02:57 +0200 |
paulson |
simprules need names
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 23:55:49 +0200 |
wenzelm |
@{term [source] ...} in subsections probably more robust;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2005 23:03:52 +0200 |
schirmer |
removed syntax fun_map_comp;
|
file |
diff |
annotate
|