Isabelle.exe
author blanchet
Thu, 26 Aug 2010 09:23:21 +0200
changeset 38990 01c4d14b2a61
parent 31921 f39825f8bfd3
permissions -rwxr-xr-x
add a bonus for chained facts, since they are likely to be relevant;
(especially in a Mirabelle run!) -- chained facts used to be included forcibly, then were treated as any other fact; the current approach seems more flexible
wenzelm@31921
     1
(binary:application/x-msdos-program)