| Tue, 16 Aug 2011 23:39:58 +0200 | wenzelm | updated keywords -- old codegen is no longer in Pure; | changeset | files |
| Tue, 16 Aug 2011 23:39:30 +0200 | wenzelm | include HOL-Library keywords for the sake of recdef; | changeset | files |
| Tue, 16 Aug 2011 23:25:02 +0200 | wenzelm | merged | changeset | files |
| Tue, 16 Aug 2011 13:07:52 -0700 | huffman | Multivariate_Analysis includes Determinants.thy, but doesn't import it by default | changeset | files |
| Tue, 16 Aug 2011 07:56:17 -0700 | huffman | get Multivariate_Analysis/Determinants.thy compiled and working again | changeset | files |
| Tue, 16 Aug 2011 07:06:54 -0700 | huffman | get Library/Permutations.thy compiled and working again | changeset | files |
| Tue, 16 Aug 2011 23:17:26 +0200 | wenzelm | workaround for Cygwin, to make it work in the important special case without extra files; | changeset | files |