| Sat, 08 Dec 2001 14:42:45 +0100 | wenzelm | added writelns; | changeset | files |
| Sat, 08 Dec 2001 14:42:22 +0100 | wenzelm | use "xml.ML"; | changeset | files |
| Sat, 08 Dec 2001 14:42:03 +0100 | wenzelm | export writeln_default; | changeset | files |
| Sat, 08 Dec 2001 14:41:36 +0100 | wenzelm | tuned print_goals interfaces; | changeset | files |
| Sat, 08 Dec 2001 14:41:10 +0100 | wenzelm | added General/xml.ML; | changeset | files |
| Sat, 08 Dec 2001 14:39:08 +0100 | wenzelm | Basic support for XML output. | changeset | files |
| Fri, 07 Dec 2001 11:10:54 +0100 | paulson | Slightly generalized the agents' knowledge theorems | changeset | files |