| Fri, 06 Mar 2009 20:30:17 +0100 | haftmann | moved instance option :: finite to Option.thy | file | diff | annotate |
| Mon, 23 Feb 2009 07:58:13 -0800 | huffman | change imports to move Fact.thy outside Plain | file | diff | annotate |
| Mon, 09 Feb 2009 15:38:26 +0000 | chaieb | Now imports Fact as suggested by Florian in order to avoid the typerep problem | file | diff | annotate |
| Fri, 06 Feb 2009 13:43:19 +0100 | blanchet | Rearrange Refute/SAT theory dependencies so as to use even more antiquotations in refute.ML + | file | diff | annotate |
| Wed, 21 Jan 2009 23:40:23 +0100 | haftmann | changed import hierarchy | file | diff | annotate |
| Fri, 02 Jan 2009 00:21:59 +0100 | wenzelm | tuned header and description of boot files; | file | diff | annotate |
| Thu, 26 Jun 2008 10:07:01 +0200 | haftmann | established Plain theory and image | file | diff | annotate |