Sun, 18 May 2008 15:04:17 +0200 guess_instance: proper context;
wenzelm [Sun, 18 May 2008 15:04:17 +0200] rev 26940
guess_instance: proper context;
Sun, 18 May 2008 15:04:09 +0200 moved global pretty/string_of functions from Sign to Syntax;
wenzelm [Sun, 18 May 2008 15:04:09 +0200] rev 26939
moved global pretty/string_of functions from Sign to Syntax;
Sat, 17 May 2008 23:53:20 +0200 tuned comments;
wenzelm [Sat, 17 May 2008 23:53:20 +0200] rev 26938
tuned comments;
Sat, 17 May 2008 23:53:19 +0200 tuned proofs;
wenzelm [Sat, 17 May 2008 23:53:19 +0200] rev 26937
tuned proofs;
Sat, 17 May 2008 23:37:11 +0200 avoid undeclared variables in facts;
wenzelm [Sat, 17 May 2008 23:37:11 +0200] rev 26936
avoid undeclared variables in facts;
Sat, 17 May 2008 23:37:09 +0200 avoid undeclared variables within proofs;
wenzelm [Sat, 17 May 2008 23:37:09 +0200] rev 26935
avoid undeclared variables within proofs; refrain from setting global references;
Sat, 17 May 2008 23:37:07 +0200 avoid undeclared variables within proofs;
wenzelm [Sat, 17 May 2008 23:37:07 +0200] rev 26934
avoid undeclared variables within proofs;
Sat, 17 May 2008 21:46:24 +0200 tuned proof;
wenzelm [Sat, 17 May 2008 21:46:24 +0200] rev 26933
tuned proof;
Sat, 17 May 2008 21:46:22 +0200 avoid undeclared variables within proofs;
wenzelm [Sat, 17 May 2008 21:46:22 +0200] rev 26932
avoid undeclared variables within proofs;
Sat, 17 May 2008 15:31:42 +0200 cat_lines;
wenzelm [Sat, 17 May 2008 15:31:42 +0200] rev 26931
cat_lines;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip