| Mon, 23 Mar 2015 15:08:02 +0100 | hoelzl | fix parameter order of NO_MATCH | changeset | files |
| Mon, 23 Mar 2015 10:16:20 +0100 | hoelzl | add measurable_submarkov | changeset | files |
| Mon, 23 Mar 2015 08:45:54 +0100 | nipkow | BT subsumed by Library/Tree | changeset | files |
| Mon, 23 Mar 2015 07:36:27 +0100 | nipkow | added funs and lemmas | changeset | files |
| Sun, 22 Mar 2015 13:10:34 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 22 Mar 2015 12:45:34 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 22 Mar 2015 12:38:41 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 22:35:37 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 22:18:40 +0100 | wenzelm | read instantiations uniformly for rules and tactics; | changeset | files |
| Fri, 20 Mar 2015 21:16:42 +0100 | wenzelm | removed presumably pointless detail; | changeset | files |
| Fri, 20 Mar 2015 20:48:33 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 20 Mar 2015 20:20:21 +0100 | wenzelm | tuned; | changeset | files |