「Dafny雜記」的修訂歷史

比對選擇的版本差異：選擇要比對修訂版本的單選方塊並點選底部的按鈕進行比對。
符號說明：（目前） = 與最新的修訂版本比對，（前筆） = 與前一筆修訂版本比對，小 = 次要修訂。