View Single Post
Old 10 May 2017, 15:39   #2
DamienD
Banned
 
DamienD's Avatar
 
Join Date: Aug 2005
Location: London / Sydney
Age: 47
Posts: 20,420
Best to open a new thread vincenty4

I've moved your post accordingly...

Try looking on HOL for Tetris as the quickmatch: http://hol.abime.net/hol_search.php?..._quickmatch=71
DamienD is offline  
 
Page generated in 0.05778 seconds with 11 queries