| Sat, 27 Nov 2010 22:48:08 -0800 | huffman | add lemma cont2cont_if_bottom | changeset | files |
| Sun, 28 Nov 2010 20:03:19 +0100 | wenzelm | added Parse.literal_fact with proper inner_syntax markup (source position); | changeset | files |
| Sun, 28 Nov 2010 19:35:14 +0100 | wenzelm | tuned signature; | changeset | files |