Thu, 04 Jan 2007 21:18:05 +0100 | wenzelm | added mk_simproc': tuned interface; | changeset | files |
Thu, 04 Jan 2007 20:01:02 +0100 | haftmann | clarification | changeset | files |
Thu, 04 Jan 2007 20:01:01 +0100 | haftmann | dropped function theorems are considered as deleted | changeset | files |
Thu, 04 Jan 2007 20:01:00 +0100 | haftmann | examples for evaluation oracle | changeset | files |