| Thu, 25 Jul 2013 08:57:16 +0200 |
haftmann |
factored syntactic type classes for bot and top (by Alessandro Coglio)
|
file |
diff |
annotate
|
| Wed, 03 Jul 2013 16:07:00 +0200 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Thu, 16 May 2013 02:13:23 +0200 |
nipkow |
finally: acom with pointwise access and update of annotations
|
file |
diff |
annotate
|
| Tue, 14 May 2013 06:54:31 +0200 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Mon, 13 May 2013 06:50:37 +0200 |
nipkow |
tuned names
|
file |
diff |
annotate
|
| Thu, 09 May 2013 03:58:28 +0200 |
nipkow |
standard ivl notation [l,h]
|
file |
diff |
annotate
|
| Wed, 08 May 2013 06:14:11 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Tue, 07 May 2013 10:34:55 +0200 |
nipkow |
tuned name: filter -> constrain (longer but more intuitive)
|
file |
diff |
annotate
|
| Tue, 30 Apr 2013 03:18:07 +0200 |
nipkow |
canonical names of classes
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 13:23:21 +0200 |
nipkow |
simplified def
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 13:12:14 +0200 |
nipkow |
more standard argument order
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 09:53:11 +0200 |
nipkow |
simplified def
|
file |
diff |
annotate
|
| Fri, 26 Apr 2013 09:41:45 +0200 |
nipkow |
more standard order of arguments
|
file |
diff |
annotate
|
| Sat, 20 Apr 2013 20:57:49 +0200 |
nipkow |
proved termination for fun-based AI
|
file |
diff |
annotate
|
| Wed, 17 Apr 2013 21:11:01 +0200 |
nipkow |
complete revision: finally got rid of annoying L-predicate
|
file |
diff |
annotate
|
| Mon, 11 Mar 2013 12:27:31 +0100 |
nipkow |
more factorisation of Step & Co
|
file |
diff |
annotate
|
| Sun, 10 Mar 2013 10:10:01 +0100 |
nipkow |
termination proof for narrowing: fewer assumptions
|
file |
diff |
annotate
|
| Fri, 08 Mar 2013 11:28:04 +0100 |
nipkow |
simplified basic termination proof
|
file |
diff |
annotate
|
| Wed, 06 Mar 2013 16:10:56 +0100 |
nipkow |
major redesign: order instead of preorder, new definition of intervals as quotients
|
file |
diff |
annotate
|
| Fri, 22 Feb 2013 20:12:53 +0100 |
nipkow |
more abstract intervals
|
file |
diff |
annotate
|
| Tue, 12 Feb 2013 11:54:29 +0100 |
nipkow |
tuned top
|
file |
diff |
annotate
|
| Fri, 25 Jan 2013 16:45:09 +0100 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Sat, 19 Jan 2013 21:05:05 +0100 |
nipkow |
simplified proofs
|
file |
diff |
annotate
|
| Wed, 17 Oct 2012 14:58:04 +0200 |
wenzelm |
proper 'oops' to force sequential checking here, and avoid spurious *** Interrupt stemming from crash of forked outer syntax element;
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 03:16:40 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Wed, 26 Sep 2012 03:03:11 +0200 |
nipkow |
added counterexamples
|
file |
diff |
annotate
|
| Tue, 25 Sep 2012 07:37:42 +0200 |
nipkow |
tuned
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 14:22:07 +0200 |
nipkow |
generalized types
|
file |
diff |
annotate
|
| Mon, 24 Sep 2012 06:58:09 +0200 |
nipkow |
tuned termination proof
|
file |
diff |
annotate
|
| Fri, 21 Sep 2012 13:39:30 +0200 |
nipkow |
more termination proofs
|
file |
diff |
annotate
|