Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
div.prf | 1999-10-15 00:00 | 17K | ||
rem.prf | 1998-11-19 00:00 | 11K | ||
div.pvs | 1999-10-15 00:00 | 3.8K | ||
div_alt.prf | 1998-11-19 00:00 | 3.1K | ||
floor_div_props.prf | 2000-06-30 00:00 | 3.0K | ||
rem.pvs | 1999-10-15 00:00 | 1.5K | ||
top.pvs | 1998-11-20 00:00 | 1.4K | ||
mod_div_lems.pvs | 1998-11-19 00:00 | 720 | ||
floor_div_lems.pvs | 1999-10-15 00:00 | 629 | ||
mod_div_lems.prf | 1998-11-19 00:00 | 503 | ||
floor_div_props.pvs | 1998-11-20 00:00 | 469 | ||
floor_div_lems.prf | 1999-10-15 00:00 | 409 | ||
div_alt.pvs | 1998-11-19 00:00 | 383 | ||
orphaned-proofs.prf | 2001-06-27 00:00 | 65 | ||