Sun, 08 Nov 2009 16:30:41 +0100 | wenzelm | adapted Generic_Data, Proof_Data; | file | diff | annotate |
Thu, 29 Oct 2009 16:59:12 +0100 | wenzelm | modernized some structure names; | file | diff | annotate |
Thu, 29 Oct 2009 16:06:15 +0100 | wenzelm | separate ResBlacklist, based on scalable persistent data -- avoids inefficient hashing later on; | file | diff | annotate |