matita.cs.unibo.it Git - fireball-separation.git/blob - calculus/main.aux

]> matita.cs.unibo.it Git - fireball-separation.git/blob - calculus/main.aux

projects / fireball-separation.git / blob

summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD

[fireball-separation.git] / calculus / main.aux

 \relax \r
 \select@language{english}\r
 \@writefile{toc}{\select@language{english}}\r
 \@writefile{lof}{\select@language{english}}\r
 \@writefile{lot}{\select@language{english}}\r

Unnamed repository; edit this file 'description' to name the repository.