| Tue, 03 Apr 2012 09:41:16 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 02 Apr 2012 23:55:25 +0200 | wenzelm | more general standard_declaration; | changeset | files |
| Mon, 02 Apr 2012 23:27:24 +0200 | wenzelm | better restore after close_target; | changeset | files |
| Mon, 02 Apr 2012 21:52:03 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 02 Apr 2012 21:49:27 +0200 | wenzelm | clarified standard_declaration vs. theory_declaration; | changeset | files |
| Mon, 02 Apr 2012 20:50:41 +0200 | wenzelm | smarter generic_const: plain alias for non-dependent case (e.g. prospective datatype or record syntax); | changeset | files |