Mon, 30 Mar 2009 12:07:59 -0700 | huffman | simplify theorem references | changeset | files |
Mon, 30 Mar 2009 22:38:37 +0200 | wenzelm | added Toplevel.previous_node_of; | changeset | files |
Mon, 30 Mar 2009 21:42:12 +0200 | wenzelm | tuned spacing and formatting; | changeset | files |