]> gitweb.factorcode.org Git - factor.git/commit
fixing typo where f was used for \bot
authorDaniel Ehrenberg <microdan@gmail.com>
Tue, 30 Aug 2005 19:36:19 +0000 (19:36 +0000)
committerDaniel Ehrenberg <microdan@gmail.com>
Tue, 30 Aug 2005 19:36:19 +0000 (19:36 +0000)
commitd41b3d0c7119d4b6149b7090e74932e74f845847
treeaf259f971bf9433af069f9a6e14e13e050825667
parentc4f0756b66218975bb16604964bdd471534f7308
fixing typo where f was used for \bot
doc/theory.tex