Paper/ROOT.ML
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 11 May 2010 17:16:57 +0200 (2010-05-11)
changeset 2104 2205b572bc9b
parent 1506 7c607df46a0a
child 2184 665b645b4a10
permissions -rw-r--r--
Declare alpha_gen_eqvt as eqvt and change the proofs that used 'eqvts[symmetric]'
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1484
dc7b049d9072 made paper to compile
Christian Urban <urbanc@in.tum.de>
parents: 754
diff changeset
     1
quick_and_dirty := true;
1506
7c607df46a0a slightly more in the paper
Christian Urban <urbanc@in.tum.de>
parents: 1491
diff changeset
     2
no_document use_thys ["LaTeXsugar"];
754
b85875d65b10 added a paper for possible notes
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
use_thys ["Paper"];