Wed, 14 Apr 1999 19:07:04 +0200 | wenzelm | Tools/inductive_package.ML; | changeset | files |
Wed, 14 Apr 1999 19:05:28 +0200 | wenzelm | triple_swap; | changeset | files |
Wed, 14 Apr 1999 19:05:10 +0200 | wenzelm | Wrapper module for Konrad Slind's TFL package. | changeset | files |