| Sat, 15 Mar 2014 11:28:07 +0100 | wenzelm | clarified local facts; | changeset | files |
| Sat, 15 Mar 2014 11:22:25 +0100 | wenzelm | more explicit treatment of verbose mode, which includes concealed entries; | changeset | files |
| Sat, 15 Mar 2014 10:29:42 +0100 | wenzelm | removed dead code; | changeset | files |
| Sat, 15 Mar 2014 10:24:49 +0100 | wenzelm | clarified retrieve_generic: local error takes precedence, which is relevant for completion; | changeset | files |
| Sat, 15 Mar 2014 10:14:42 +0100 | wenzelm | clarified print_local_facts; | changeset | files |
| Sat, 15 Mar 2014 08:31:33 +0100 | haftmann | more complete set of lemmas wrt. image and composition | changeset | files |