| Wed, 29 Jul 2015 13:34:04 +0200 | wenzelm | separate channel for debugger output; | changeset | files |
| Wed, 29 Jul 2015 11:41:26 +0200 | wenzelm | clarified thread name; | changeset | files |
| Thu, 30 Jul 2015 09:49:43 +0200 | Andreas Lochbihler | add coinduction rule for infinite | changeset | files |
| Tue, 28 Jul 2015 23:29:13 +0200 | wenzelm | merged | changeset | files |
| Tue, 28 Jul 2015 23:14:40 +0200 | wenzelm | clarified context; | changeset | files |
| Tue, 28 Jul 2015 21:47:03 +0200 | wenzelm | more explicit context; | changeset | files |
| Tue, 28 Jul 2015 21:31:16 +0200 | wenzelm | eliminated dead code; | changeset | files |
| Tue, 28 Jul 2015 21:10:41 +0200 | wenzelm | clarified Variable.gen_all; | changeset | files |