| Fri, 20 Mar 2009 17:04:44 +0100 | wenzelm | fixed possibility_tac; | file | diff | annotate |
| Fri, 20 Mar 2009 15:24:18 +0100 | wenzelm | eliminated global SIMPSET, CLASET etc. -- refer to explicit context; | file | diff | annotate |
| Mon, 16 Mar 2009 17:51:24 +0100 | wenzelm | updated generated file; | file | diff | annotate |