Sat, 27 Oct 2012 20:59:50 +0200 | wenzelm | longer log, to accomodate final status line of isabelle build; | changeset | files |
Wed, 24 Oct 2012 18:43:25 +0200 | huffman | transfer package: error message if preprocessing goal to object-logic formula fails | changeset | files |
Wed, 24 Oct 2012 18:43:25 +0200 | huffman | transfer package: add test to prevent trying to make cterms from open terms | changeset | files |