| Sat, 27 Oct 2001 00:00:05 +0200 | wenzelm | made new-style theory; | file | diff | annotate |
| Thu, 22 Jun 2000 23:04:34 +0200 | wenzelm | bind_thm(s); | file | diff | annotate |
| Thu, 19 Aug 1999 19:00:42 +0200 | berghofe | Moved sum_case stuff from Sum to Datatype. | file | diff | annotate |