Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
Wed, 12 Jul 2017 18:42:32 +0200 |
Lars Hupel |
additional lemmas for State_Monad, courtesy of Andreas Lochbihler
|
file |
diff |
annotate
|
Tue, 11 Jul 2017 20:47:19 +0200 |
Lars Hupel |
state monad
|
file |
diff |
annotate
|
Sat, 08 Jul 2017 19:34:46 +0200 |
haftmann |
dropped superfluous theory imports
|
file |
diff |
annotate
|
Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
Fri, 01 Jul 2016 16:52:54 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
Mon, 28 Dec 2015 21:47:32 +0100 |
wenzelm |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
file |
diff |
annotate
|
Thu, 05 Nov 2015 10:39:49 +0100 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
Wed, 17 Jun 2015 11:03:05 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 17:20:45 +0100 |
wenzelm |
modernized header;
|
file |
diff |
annotate
|
Sat, 14 Dec 2013 20:46:36 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Mon, 09 Dec 2013 12:22:23 +0100 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
Fri, 17 Dec 2010 17:43:54 +0100 |
wenzelm |
replaced command 'nonterminals' by slightly modernized version 'nonterminal';
|
file |
diff |
annotate
|
Thu, 04 Nov 2010 17:27:37 +0100 |
haftmann |
corrected quoting
|
file |
diff |
annotate
|
Thu, 04 Nov 2010 13:42:36 +0100 |
haftmann |
dropped return abbreviation for Pair -- confusing if combined with monad syntax; tuned document
|
file |
diff |
annotate
|
Wed, 11 Aug 2010 14:19:32 +0200 |
haftmann |
print fcomp combinator only monadic in connection with other monadic expressions
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 12:07:30 +0200 |
haftmann |
more generous memory settings for scala check
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 12:27:44 +0200 |
haftmann |
tuned infix syntax
|
file |
diff |
annotate
|
Tue, 13 Jul 2010 11:50:22 +0200 |
krauss |
State_Monad uses Monad_Syntax
|
file |
diff |
annotate
|
Fri, 09 Jul 2010 08:11:10 +0200 |
haftmann |
nicer xsymbol syntax for fcomp and scomp
|
file |
diff |
annotate
|
Thu, 11 Feb 2010 23:00:22 +0100 |
wenzelm |
modernized translations;
|
file |
diff |
annotate
|
Mon, 04 May 2009 14:49:48 +0200 |
haftmann |
fixed broken link
|
file |
diff |
annotate
|
Fri, 27 Mar 2009 10:05:11 +0100 |
haftmann |
normalized imports
|
file |
diff |
annotate
|
Wed, 04 Feb 2009 10:59:32 +0100 |
haftmann |
dropped Id
|
file |
diff |
annotate
|
Sat, 06 Sep 2008 14:02:36 +0200 |
haftmann |
dropped "run" marker in monad syntax
|
file |
diff |
annotate
|
Mon, 07 Jul 2008 08:47:17 +0200 |
haftmann |
absolute imports of HOL/*.thy theories
|
file |
diff |
annotate
|
Thu, 26 Jun 2008 10:07:01 +0200 |
haftmann |
established Plain theory and image
|
file |
diff |
annotate
|
Wed, 09 Apr 2008 08:10:11 +0200 |
haftmann |
removed syntax from monad combinators; renamed mbind to scomp
|
file |
diff |
annotate
|
Fri, 14 Mar 2008 08:52:51 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Wed, 12 Mar 2008 08:47:36 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Tue, 26 Feb 2008 07:59:58 +0100 |
haftmann |
operation collapse
|
file |
diff |
annotate
|
Wed, 02 Jan 2008 15:14:20 +0100 |
haftmann |
some more primrec
|
file |
diff |
annotate
|
Mon, 10 Dec 2007 11:24:12 +0100 |
haftmann |
switched import from Main to List
|
file |
diff |
annotate
|
Mon, 13 Aug 2007 21:22:42 +0200 |
haftmann |
fixed syntax
|
file |
diff |
annotate
|
Fri, 10 Aug 2007 17:10:05 +0200 |
haftmann |
syntax fix
|
file |
diff |
annotate
|
Thu, 09 Aug 2007 15:52:45 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 13 Apr 2007 21:26:34 +0200 |
wenzelm |
do translation: CONST;
|
file |
diff |
annotate
|
Wed, 21 Mar 2007 16:06:15 +0100 |
krauss |
Unified function syntax
|
file |
diff |
annotate
|
Wed, 28 Feb 2007 22:05:43 +0100 |
wenzelm |
tuned ML setup;
|
file |
diff |
annotate
|
Wed, 13 Dec 2006 20:38:19 +0100 |
haftmann |
whitespace correction
|
file |
diff |
annotate
|
Wed, 13 Dec 2006 15:45:29 +0100 |
haftmann |
dropped superfluous header
|
file |
diff |
annotate
|
Thu, 30 Nov 2006 14:17:22 +0100 |
wenzelm |
simplified syntax for 'definition', 'abbreviation';
|
file |
diff |
annotate
|
Sat, 18 Nov 2006 00:20:27 +0100 |
haftmann |
added combinators and lemmas
|
file |
diff |
annotate
|
Fri, 17 Nov 2006 02:20:03 +0100 |
wenzelm |
more robust syntax for definition/abbreviation/notation;
|
file |
diff |
annotate
|
Fri, 10 Nov 2006 07:37:35 +0100 |
haftmann |
improved syntax
|
file |
diff |
annotate
|
Mon, 06 Nov 2006 16:28:33 +0100 |
haftmann |
added state monad to HOL library
|
file |
diff |
annotate
|