haftmann [Wed, 18 Aug 2010 11:55:27 +0200] rev 38512
added equality instantiation
haftmann [Wed, 18 Aug 2010 11:18:24 +0200] rev 38511
use command_def more consciously
haftmann [Wed, 18 Aug 2010 11:18:23 +0200] rev 38510
stub for evaluation chapter
haftmann [Wed, 18 Aug 2010 10:07:57 +0200] rev 38509
updated generated document
haftmann [Wed, 18 Aug 2010 10:07:56 +0200] rev 38508
dropped errorneous underscore
haftmann [Wed, 18 Aug 2010 10:07:56 +0200] rev 38507
output whitespace tuning
haftmann [Wed, 18 Aug 2010 10:07:56 +0200] rev 38506
use command_def
haftmann [Wed, 18 Aug 2010 09:55:00 +0200] rev 38505
use command_def vs. command more consciously
haftmann [Wed, 18 Aug 2010 09:46:59 +0200] rev 38504
removed Code_Prolog: modifies global environment setup non-conservatively
haftmann [Wed, 18 Aug 2010 09:46:59 +0200] rev 38503
pretty constraint syntax; tuned theory imports