代码改变世界

TechEd 2007 HOL分享

2007-11-26 16:58  努力学习的小熊  阅读(1144)  评论(3)  编辑  收藏  举报
既然微软提供了下载，放出来给所有的朋友共享：）

谢谢十一和大脸猫提供的空间

大脸猫同学的空间
HOL下载

十一同学的空间
HOL下载