| Mon, 01 Oct 2012 20:16:37 +0200 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 30 Aug 2012 13:03:03 +0900 | Christian Sternagel | List is implicitly imported by Main | file | diff | annotate |
| Wed, 29 Aug 2012 10:27:56 +0900 | Christian Sternagel | renamed theory List_Prefix into Sublist (since it is not only about prefixes) | file | diff | annotate |