| Fri, 10 Jul 2009 09:24:50 +0200 |
krauss |
move Kleene_Algebra to Library
|
file |
diff |
annotate
|
| Wed, 29 Apr 2009 14:20:26 +0200 |
haftmann |
farewell to class recpower
|
file |
diff |
annotate
|
| Thu, 23 Apr 2009 12:17:51 +0200 |
haftmann |
adaptions due to rearrangment of power operation
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 14:29:02 +0100 |
wenzelm |
fixed proofs -- follow-up to ecd6f0ca62ea;
|
file |
diff |
annotate
|
| Fri, 24 Oct 2008 17:48:37 +0200 |
haftmann |
new classes "top" and "bot"
|
file |
diff |
annotate
|
| Fri, 10 Oct 2008 06:45:53 +0200 |
haftmann |
`code func` now just `code`
|
file |
diff |
annotate
|
| Fri, 25 Jul 2008 12:03:34 +0200 |
haftmann |
added class preorder
|
file |
diff |
annotate
|
| Wed, 02 Jan 2008 15:14:17 +0100 |
haftmann |
removed some legacy instantiations
|
file |
diff |
annotate
|
| Thu, 29 Nov 2007 17:08:26 +0100 |
haftmann |
instance command as rudimentary class target
|
file |
diff |
annotate
|
| Tue, 06 Nov 2007 17:44:53 +0100 |
krauss |
moved stuff about size change termination to its own session
|
file |
diff |
annotate
|