| Thu, 13 Dec 2012 13:11:38 +0100 |
Christian Sternagel |
renamed "emb" to "list_hembeq";
|
file |
diff |
annotate
|
| Mon, 03 Sep 2012 23:03:54 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Thu, 30 Aug 2012 13:03:03 +0900 |
Christian Sternagel |
List is implicitly imported by Main
|
file |
diff |
annotate
| base
|
| Wed, 29 Aug 2012 16:25:35 +0900 |
Christian Sternagel |
introduced "sub" as abbreviation for "emb (op =)";
|
file |
diff |
annotate
| base
|
| Wed, 29 Aug 2012 11:05:44 +0900 |
Christian Sternagel |
more lemmas on suffixes and embedding
|
file |
diff |
annotate
| base
|
| Wed, 29 Aug 2012 10:57:24 +0900 |
Christian Sternagel |
changed arguement order of suffixeq (to facilitate reading "suffixeq xs ys" as "xs is a (possibly empty) suffix of ys)
|
file |
diff |
annotate
| base
|
| Thu, 30 Aug 2012 13:05:11 +0900 |
Christian Sternagel |
added author
|
file |
diff |
annotate
| base
|
| 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
|