| Sat, 01 Sep 2012 19:46:21 +0200 | wenzelm | removed unused material; | file | diff | annotate |
| Thu, 30 Aug 2012 19:18:49 +0200 | wenzelm | some support for registering forked proofs within Proof.state, using its bottom context; | file | diff | annotate |
| Wed, 21 Mar 2012 11:00:34 +0100 | wenzelm | prefer explicitly qualified exception List.Empty; | file | diff | annotate |
| Wed, 21 Jan 2009 23:21:44 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Thu, 04 Sep 2008 16:43:51 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 09 Nov 2006 21:44:30 +0100 | wenzelm | separate map_top/all; | file | diff | annotate |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | file | diff | annotate |
| Tue, 13 Sep 2005 22:19:53 +0200 | wenzelm | Non-empty stacks. | file | diff | annotate |