


1915861964_273_B843C7AE : current compression.

1900031899_4A71_B848FABE : core_theories.

1/12/98 - 1900031899_480_B864DF0F : core_theories.

rm'ed 1/19/98 - 1915861964_19DF_B86E1F17  : complete_core_theories 

2/2/98 - 1915861964_28FE_B880907B  : complete_core_theories

2/3/09 - 1900031899_3498_B881B5B5  : standard_theories
