Fri, 06 Feb 2009 08:22:32 +0000 | chaieb | fixed import | file | diff | annotate |
Fri, 06 Feb 2009 00:10:58 +0000 | chaieb | fixed Proofs and dependencies ; Theory Dense_Linear_Order moved to Library | file | diff | annotate |
Tue, 03 Feb 2009 16:54:10 +0100 | haftmann | established session HOL-Reflection | file | diff | annotate |