Wed, 29 Aug 2012 12:23:14 +0900 | Christian Sternagel | dropped ord and bot instance for list prefixes (use locale interpretation instead, which allows users to decide what order to use on lists) | file | diff | annotate | base |
Wed, 29 Aug 2012 10:48:28 +0900 | Christian Sternagel | added embedding for lists (constant emb) | file | diff | annotate | base |
Wed, 29 Aug 2012 10:46:11 +0900 | Christian Sternagel | renamed (in Sublist): postfix ~> suffixeq, and dropped infix syntax >>= | file | diff | annotate | base |
Wed, 29 Aug 2012 10:35:05 +0900 | Christian Sternagel | renamed (in Sublist): prefix ~> prefixeq, strict_prefix ~> prefix | file | diff | annotate | base |
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 | base |
Sat, 19 Jul 2008 19:27:13 +0200 | bulwahn | added verification framework for the HeapMonad and quicksort as example for this framework | file | diff | annotate |