Wed, 27 Nov 2013 10:54:44 +0100 |
revert 4af7c82463d3 and document type class problem in Haskell
|
file | diff | annotate |
Wed, 20 Nov 2013 12:11:12 +0100 |
no ord instance for String.literal in Haskell when list is also ordered lexicographically
|
file | diff | annotate |
Mon, 26 Aug 2013 23:39:53 +0200 |
tuned imports;
|
file | diff | annotate |
Thu, 25 Jul 2013 08:57:16 +0200 |
factored syntactic type classes for bot and top (by Alessandro Coglio)
|
file | diff | annotate |
Fri, 27 Aug 2010 19:34:23 +0200 |
renamed class/constant eq to equal; tuned some instantiations
|
file | diff | annotate |
Mon, 12 Jul 2010 08:58:13 +0200 |
dropped superfluous [code del]s
|
file | diff | annotate |
Mon, 21 Jun 2010 09:38:20 +0200 |
added bot instances; tuned
|
file | diff | annotate |
Mon, 23 Mar 2009 08:14:24 +0100 |
Main is (Complex_Main) base entry point in library theories
|
file | diff | annotate |
Fri, 10 Oct 2008 06:45:53 +0200 |
`code func` now just `code`
|
file | diff | annotate |
Fri, 25 Jul 2008 12:03:34 +0200 |
added class preorder
|
file | diff | annotate |
Mon, 07 Jul 2008 08:47:17 +0200 |
absolute imports of HOL/*.thy theories
|
file | diff | annotate |
Thu, 26 Jun 2008 10:07:01 +0200 |
established Plain theory and image
|
file | diff | annotate |
Wed, 02 Jan 2008 15:14:17 +0100 |
removed some legacy instantiations
|
file | diff | annotate |
Mon, 10 Dec 2007 11:24:12 +0100 |
switched import from Main to List
|
file | diff | annotate |
Thu, 29 Nov 2007 17:08:26 +0100 |
instance command as rudimentary class target
|
file | diff | annotate |
Sun, 06 May 2007 21:50:17 +0200 |
changed code generator invocation syntax
|
file | diff | annotate |
Fri, 20 Apr 2007 11:21:42 +0200 |
Isar definitions are now added explicitly to code theorem table
|
file | diff | annotate |
Tue, 20 Mar 2007 15:52:40 +0100 |
added instance for lattice
|
file | diff | annotate |
Wed, 14 Feb 2007 10:06:12 +0100 |
added class "preorder"
|
file | diff | annotate |
Thu, 25 Jan 2007 09:32:36 +0100 |
improved
|
file | diff | annotate |
Wed, 22 Nov 2006 10:20:18 +0100 |
added code lemmas
|
file | diff | annotate |
Wed, 31 Aug 2005 15:46:37 +0200 |
tuned presentation;
|
file | diff | annotate |
Fri, 15 Apr 2005 14:14:24 +0200 |
New
|
file | diff | annotate |