| Thu, 24 Nov 2011 19:58:37 +0100 | nipkow | Abstract interpretation is now based uniformly on annotated programs, | changeset | files |
| Wed, 23 Nov 2011 23:31:32 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Nov 2011 23:07:59 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Nov 2011 22:59:39 +0100 | wenzelm | modernized some old-style infix operations, which were left over from the time of ML proof scripts; | changeset | files |
| Wed, 23 Nov 2011 22:07:55 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Nov 2011 13:46:46 +0100 | wenzelm | updated according to bdcaa3f3a2f4; | changeset | files |
| Wed, 23 Nov 2011 13:41:42 +0100 | wenzelm | updated proof; | changeset | files |
| Wed, 23 Nov 2011 07:44:56 +0100 | nipkow | tuned | changeset | files |
| Wed, 23 Nov 2011 07:00:01 +0100 | huffman | remove outdated comment | changeset | files |
| Mon, 21 Nov 2011 23:29:53 +0100 | wenzelm | NEWS; | changeset | files |
| Mon, 21 Nov 2011 23:04:45 +0100 | wenzelm | simplified read_instantiate -- no longer need to assign values, since rule attributes are now static; | changeset | files |
| Mon, 21 Nov 2011 23:03:31 +0100 | wenzelm | drop vacuous decls; | changeset | files |
| Mon, 21 Nov 2011 21:38:08 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 21 Nov 2011 19:52:50 +0100 | wenzelm | tuned header; | changeset | files |
| Mon, 21 Nov 2011 18:07:13 +0100 | kuncar | misspelled name | changeset | files |
| Sun, 20 Nov 2011 21:28:07 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 21:07:10 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 21:07:06 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 21:05:23 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 20:59:30 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 20:26:13 +0100 | wenzelm | explicit is better than implicit; | changeset | files |
| Sun, 20 Nov 2011 20:15:02 +0100 | wenzelm | eliminated obsolete "standard"; | changeset | files |
| Sun, 20 Nov 2011 17:57:09 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 20 Nov 2011 17:44:41 +0100 | wenzelm | 'lemmas' / 'theorems' commands allow 'for' fixes and standardize the result before storing; | changeset | files |
| Sun, 20 Nov 2011 17:32:27 +0100 | wenzelm | updated comment; | changeset | files |
| Sun, 20 Nov 2011 17:04:59 +0100 | wenzelm | more uniform signature; | changeset | files |
| Sun, 20 Nov 2011 16:59:37 +0100 | wenzelm | uniform cert_vars/read_vars; | changeset | files |
| Sun, 20 Nov 2011 16:58:12 +0100 | wenzelm | eliminated dead code; | changeset | files |
| Sun, 20 Nov 2011 15:21:22 +0100 | wenzelm | clarified certify vs. sharing; | changeset | files |
| Sun, 20 Nov 2011 13:29:12 +0100 | wenzelm | tuned; | changeset | files |