| Tue, 21 Oct 2008 21:59:22 +0200 | wenzelm | make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work; | changeset | files |
| Tue, 21 Oct 2008 21:22:31 +0200 | berghofe | Added nominal_inductive2. | changeset | files |
| Tue, 21 Oct 2008 21:22:02 +0200 | berghofe | Example for using the generalized version of nominal_inductive. | changeset | files |
| Tue, 21 Oct 2008 21:20:46 +0200 | berghofe | Added theory W. | changeset | files |
| Tue, 21 Oct 2008 21:20:17 +0200 | berghofe | More general, still experimental version of nominal_inductive for | changeset | files |
| Tue, 21 Oct 2008 21:18:54 +0200 | berghofe | Added nominal_inductive2.ML | changeset | files |
| Tue, 21 Oct 2008 20:18:45 +0200 | wenzelm | added jEdit settings; | changeset | files |