Wed, 29 Aug 2012 11:05:44 +0900 more lemmas on suffixes and embedding
Christian Sternagel [Wed, 29 Aug 2012 11:05:44 +0900] rev 49082
more lemmas on suffixes and embedding
Wed, 29 Aug 2012 10:57:24 +0900 changed arguement order of suffixeq (to facilitate reading "suffixeq xs ys" as "xs is a (possibly empty) suffix of ys)
Christian Sternagel [Wed, 29 Aug 2012 10:57:24 +0900] rev 49081
changed arguement order of suffixeq (to facilitate reading "suffixeq xs ys" as "xs is a (possibly empty) suffix of ys)
Wed, 29 Aug 2012 10:48:28 +0900 added embedding for lists (constant emb)
Christian Sternagel [Wed, 29 Aug 2012 10:48:28 +0900] rev 49080
added embedding for lists (constant emb)
Wed, 29 Aug 2012 10:46:11 +0900 renamed (in Sublist): postfix ~> suffixeq, and dropped infix syntax >>=
Christian Sternagel [Wed, 29 Aug 2012 10:46:11 +0900] rev 49079
renamed (in Sublist): postfix ~> suffixeq, and dropped infix syntax >>=
Wed, 29 Aug 2012 10:35:05 +0900 renamed (in Sublist): prefix ~> prefixeq, strict_prefix ~> prefix
Christian Sternagel [Wed, 29 Aug 2012 10:35:05 +0900] rev 49078
renamed (in Sublist): prefix ~> prefixeq, strict_prefix ~> prefix
Wed, 29 Aug 2012 10:27:56 +0900 renamed theory List_Prefix into Sublist (since it is not only about prefixes)
Christian Sternagel [Wed, 29 Aug 2012 10:27:56 +0900] rev 49077
renamed theory List_Prefix into Sublist (since it is not only about prefixes)
Mon, 03 Sep 2012 11:54:21 +0200 compile
blanchet [Mon, 03 Sep 2012 11:54:21 +0200] rev 49076
compile
Mon, 03 Sep 2012 11:54:21 +0200 rearrange dependencies
blanchet [Mon, 03 Sep 2012 11:54:21 +0200] rev 49075
rearrange dependencies
Mon, 03 Sep 2012 11:54:21 +0200 renamed three BNF/(co)datatype-related commands
blanchet [Mon, 03 Sep 2012 11:54:21 +0200] rev 49074
renamed three BNF/(co)datatype-related commands
Mon, 03 Sep 2012 11:30:29 +0200 tuned boundary cases of command-line;
wenzelm [Mon, 03 Sep 2012 11:30:29 +0200] rev 49073
tuned boundary cases of command-line; adhoc removal of PDFs stemming from base sessions;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip