| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
fixed spelling;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
first.
|
| |
|
|
|
|
| |
part of the previoous one (missused cvs).
|
|
|
|
| |
in another color). Reported by Assia Mahboubi.
|
| |
|
|
|
|
| |
for tacticals (asked by Assi Mahboubi).
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
(in Isabelle2005 this will produce repeated errors after end-of-theory;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|