Mon, 26 Mar 2007 14:53:06 +0200 | haftmann | exported interface for intro rules | changeset | files |
Mon, 26 Mar 2007 14:53:05 +0200 | haftmann | moved Eval theory to library | changeset | files |
Mon, 26 Mar 2007 14:53:04 +0200 | haftmann | Eval theory | changeset | files |
Mon, 26 Mar 2007 14:53:03 +0200 | haftmann | tuned | changeset | files |
Mon, 26 Mar 2007 14:53:02 +0200 | haftmann | importing Eval theory | changeset | files |
Mon, 26 Mar 2007 14:53:01 +0200 | haftmann | naming tuned | changeset | files |
Mon, 26 Mar 2007 14:53:00 +0200 | haftmann | cleaned up Library( and ex/ | changeset | files |