| Wed, 11 Mar 2009 08:45:47 +0100 | haftmann | avoid inspecting pretty output | changeset | files |
| Wed, 11 Mar 2009 08:45:47 +0100 | haftmann | explicit code equations for some rarely used pred operations | changeset | files |
| Wed, 11 Mar 2009 08:45:47 +0100 | haftmann | moved Decision_Procs examples to Decision_Procs/ex | changeset | files |
| Wed, 11 Mar 2009 08:45:46 +0100 | haftmann | explicitly delete some code equations | changeset | files |
| Wed, 11 Mar 2009 08:45:46 +0100 | haftmann | delete code equations for types pred and seq | changeset | files |
| Tue, 10 Mar 2009 22:50:19 +0100 | wenzelm | merged | changeset | files |
| Tue, 10 Mar 2009 22:22:52 +0100 | nipkow | Docs | changeset | files |