| Mon, 15 Aug 2011 20:19:41 +0200 | wenzelm | retrieve imports from document state, with fall-back on theory loader for preloaded theories; | changeset | files |
| Mon, 15 Aug 2011 19:27:55 +0200 | wenzelm | explicit check of finished evaluation; | changeset | files |
| Mon, 15 Aug 2011 16:38:42 +0200 | wenzelm | refined Document.edit: less stateful update via Graph.schedule; | changeset | files |
| Mon, 15 Aug 2011 14:54:36 +0200 | wenzelm | simplified exec: eliminated unused status flag; | changeset | files |
| Sun, 14 Aug 2011 08:45:38 -0700 | huffman | consistently use variable name 'F' for filters | changeset | files |
| Sun, 14 Aug 2011 07:54:24 -0700 | huffman | generalize lemmas about LIM and LIMSEQ to tendsto | changeset | files |
| Sat, 13 Aug 2011 18:10:14 -0700 | huffman | HOL-Nominal-Examples: respect distinction between sets and functions | changeset | files |