| Sun, 20 Nov 2011 15:21:22 +0100 | wenzelm | clarified certify vs. sharing; | file | diff | annotate |
| Sat, 23 Jul 2011 20:34:33 +0200 | wenzelm | defensive Term_Sharing, to avoid extending trusted code base of inference kernel; | file | diff | annotate |
| Wed, 13 Jul 2011 22:05:55 +0200 | wenzelm | added term_sharing.ML; | file | diff | annotate |