| Mon, 01 Apr 2013 17:42:29 +0200 | nipkow | added lemma | changeset | files |
| Sat, 30 Mar 2013 18:24:33 +0100 | wenzelm | merged | changeset | files |
| Sat, 30 Mar 2013 17:27:21 +0100 | wenzelm | amended uncond_skel to observe notion of cong_name properly -- may affect simplification with Free congs; | changeset | files |
| Sat, 30 Mar 2013 17:13:21 +0100 | wenzelm | more formal cong_name; | changeset | files |
| Sat, 30 Mar 2013 16:34:02 +0100 | wenzelm | timing status for forked diagnostic commands; | changeset | files |
| Sat, 30 Mar 2013 16:16:24 +0100 | wenzelm | tooltip of command keyword includes timing information; | changeset | files |
| Sat, 30 Mar 2013 16:15:26 +0100 | wenzelm | more operations on Time, Timing; | changeset | files |
| Fri, 29 Mar 2013 18:57:47 +0100 | haftmann | reverted slip introduced in f738e6dbd844 | changeset | files |