| Tue, 30 Nov 2010 08:35:04 -0800 | huffman | use new 'file' antiquotation for reference to Dedekind_Real.thy | changeset | files |
| Tue, 30 Nov 2010 08:00:50 -0800 | huffman | merged | changeset | files |
| Mon, 29 Nov 2010 14:37:40 -0800 | huffman | instance list :: (discrete_cpo) discrete_cpo; | changeset | files |
| Tue, 30 Nov 2010 00:12:29 +0100 | boehmes | merged | changeset | files |
| Mon, 29 Nov 2010 23:41:09 +0100 | boehmes | also support higher-order rules for Z3 proof reconstruction | changeset | files |
| Mon, 29 Nov 2010 16:10:44 +0100 | wenzelm | merged | changeset | files |
| Mon, 29 Nov 2010 11:39:00 +0100 | haftmann | less ghc-specific pragma | changeset | files |
| Mon, 29 Nov 2010 11:38:59 +0100 | haftmann | tuned | changeset | files |
| Mon, 29 Nov 2010 11:27:39 +0100 | wenzelm | updated generated files; | changeset | files |
| Mon, 29 Nov 2010 11:22:40 +0100 | wenzelm | added document antiquotation @{file}; | changeset | files |
| Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | changeset | files |
| Sun, 28 Nov 2010 20:36:45 +0100 | wenzelm | ML results: enter before printing (cf. Poly/ML SVN 1218); | changeset | files |
| Sun, 28 Nov 2010 20:12:22 +0100 | wenzelm | merged | changeset | files |
| Sun, 28 Nov 2010 08:41:16 -0800 | huffman | merged | changeset | files |
| Sun, 28 Nov 2010 08:21:52 -0800 | huffman | merged | changeset | files |