| Mon, 10 Nov 2008 17:37:25 +0100 | berghofe | Streamlined functions for accessing information about atoms. | file | diff | annotate |
| Tue, 21 Oct 2008 21:20:17 +0200 | berghofe | More general, still experimental version of nominal_inductive for | file | diff | annotate |