| Sun, 08 Nov 2009 18:43:42 +0100 | wenzelm | adapted Theory_Data; | file | diff | annotate |
| Thu, 29 Oct 2009 16:15:33 +0100 | wenzelm | modernized functor/structures Interpretation; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Fri, 05 Oct 2007 20:10:33 +0200 | wenzelm | subtract: minor performance tuning; | file | diff | annotate |
| Tue, 25 Sep 2007 15:34:35 +0200 | wenzelm | simplified interpretation setup; | file | diff | annotate |
| Thu, 20 Sep 2007 20:56:54 +0200 | wenzelm | Generic interpretation of theory data. | file | diff | annotate |