| author | wenzelm |
| Mon, 19 Sep 2011 22:13:51 +0200 | |
| changeset 45872 | d88f7fc62a40 |
| parent 30161 | c26e515f1c29 |
| permissions | -rw-r--r-- |
| wenzelm@23147 | 1 |
|
| wenzelm@23147 | 2 |
Tools: generic tools outside of Pure |
| wenzelm@23147 | 3 |
|
| wenzelm@23147 | 4 |
This directory contains ML sources of generic tools. Typically, they |
| wenzelm@23147 | 5 |
can be applied to various logics. |
| wenzelm@23147 | 6 |