commit | ba588bd0eb55117cd7614b921277908fefbdea60 | |
author | rgheck <rgheck@a592a061-630c-0410-9148-cb99ea01b6c8> | |
Fri, 7 Aug 2009 19:20:13 +0000 (7 19:20 +0000) | ||
committer | rgheck <rgheck@a592a061-630c-0410-9148-cb99ea01b6c8> | |
Fri, 7 Aug 2009 19:20:13 +0000 (7 19:20 +0000) | ||
tree | 9000ff82a31482cefa62bdcca965a3b02ae4479c | treesnapshot (tar.gz zip) |
parent | 11cbf8d1b369dbd4412cba478b6ade970db1f09c | commitdiff |
lib/layouts/theorems-proof-std.inc | [copied from lib/layouts/theorems-std.module with 51% similarity] | diffblobblamehistory |
lib/layouts/theorems-std.module | diffblobblamehistory |