| Thu, 01 Oct 2009 23:27:05 +0200 | wenzelm | moved cache_conv to src/Pure/conv.ML, use Thm.cterm_cache; | file | diff | annotate |
| Thu, 01 Oct 2009 15:54:55 +0200 | boehmes | turned unsynchronized ref into synchronized var | file | diff | annotate |
| Tue, 29 Sep 2009 16:24:36 +0200 | wenzelm | explicit indication of Unsynchronized.ref; | file | diff | annotate |
| Wed, 26 Aug 2009 11:40:28 +0200 | boehmes | added further conversions and conversionals | file | diff | annotate |