| Thu, 07 Apr 2005 09:27:33 +0200 | wenzelm | invalidated former constructors None/OPTION to prevent accidental use as match-all patterns! | changeset | files |
| Thu, 07 Apr 2005 09:27:20 +0200 | wenzelm | added add_used; include tpairs; | changeset | files |
| Thu, 07 Apr 2005 09:27:09 +0200 | wenzelm | improved exn_message; | changeset | files |
| Thu, 07 Apr 2005 09:26:55 +0200 | wenzelm | Thm.invoke_oracle_i; | changeset | files |
| Thu, 07 Apr 2005 09:26:48 +0200 | wenzelm | Scan.peek; | changeset | files |
| Thu, 07 Apr 2005 09:26:40 +0200 | wenzelm | tuned updates, added map_entry; | changeset | files |
| Thu, 07 Apr 2005 09:26:29 +0200 | wenzelm | added some, peek, trace'; tuned; | changeset | files |
| Thu, 07 Apr 2005 09:26:18 +0200 | wenzelm | added header; | changeset | files |
| Thu, 07 Apr 2005 09:26:10 +0200 | wenzelm | improved comments; | changeset | files |
| Thu, 07 Apr 2005 09:25:33 +0200 | wenzelm | reverted renaming of Some/None in comments and strings; | changeset | files |
| Thu, 07 Apr 2005 09:24:35 +0200 | wenzelm | handle Option instead of OPTION; | changeset | files |
| Wed, 06 Apr 2005 18:13:30 +0200 | nipkow | updated it | changeset | files |