What's new?
|
Help
|
Directory
|
Sign in
flyspeck
The Flyspeck Project
Project Home
Downloads
Wiki
Issues
Source
Checkout
|
Browse
|
Changes
|
442 - 418 of 442
Older
›
Rev
Scores
Commit log message
Date
Author
r442
Jun 25, 2008
tchales
r441
Jun 25, 2008
tchales
r440
Small fix
Jun 23, 2008
jason.rute
r439
Changed to HOL Light def of vectors. (Still more changes needed to use all of Multivariate stuff.)
Jun 23, 2008
jason.rute
r438
Changed >= and > to <= and <.
Jun 22, 2008
jason.rute
r437
Non-vector stuff done. Reorganized theorems. Credited John Harrison.
Jun 21, 2008
jason.rute
r436
Jun 18, 2008
jason.rute
r435
Jun 17, 2008
jason.rute
r434
Jun 14, 2008
tchales
r433
final version
Jun 10, 2008
allegristas
r432
Jun 05, 2008
tchales
r431
May 28, 2008
tchales
r430
May 25, 2008
tchales
r429
May 25, 2008
tchales
r428
May 22, 2008
tchales
r427
May 17, 2008
tchales
r426
May 14, 2008
tchales
r425
May 14, 2008
tchales
r424
May 14, 2008
tchales
r423
May 11, 2008
tchales
r422
May 10, 2008
tchales
r421
May 09, 2008
tchales
r420
May 09, 2008
tchales
r419
May 08, 2008
tchales
r418
May 08, 2008
tchales
442 - 418 of 442
Older
›
