| Mon, 16 Apr 2012 21:53:11 +0200 | wenzelm | updated and clarified OF/MRS; | file | diff | annotate |
| Wed, 28 Mar 2012 11:17:32 +0200 | wenzelm | updated Sign.add_type, Name_Space.declare; | file | diff | annotate |
| Wed, 15 Feb 2012 23:19:30 +0100 | wenzelm | renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic; | file | diff | annotate |
| Wed, 25 Jan 2012 21:14:00 +0100 | wenzelm | tuned ML infixes; | file | diff | annotate |
| Wed, 25 Jan 2012 15:39:08 +0100 | wenzelm | updated RSN, RL, RLN, MRS; | file | diff | annotate |
| Wed, 25 Jan 2012 13:31:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 25 Jan 2012 13:24:57 +0100 | wenzelm | more on Logic.all/mk_implies etc.; | file | diff | annotate |