| Sat, 20 Oct 2001 20:18:45 +0200 | wenzelm | calculational rules moved from FOL to IFOL; | changeset | files |
| Sat, 20 Oct 2001 20:18:19 +0200 | wenzelm | option -g for document graph; | changeset | files |
| Sat, 20 Oct 2001 20:16:55 +0200 | wenzelm | option -q also excludes -v true in generated stuff; | changeset | files |