diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-02-20 13:42:00 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-03-02 13:37:14 -0500 |
| commit | a3e42efc86e20c8db07cb0c013b56ed25fb28334 (patch) | |
| tree | b3dfa1b80282a6ed2a82b08a2594c0cddcfc15b6 /src/Spec | |
| parent | af5141847d7888e502e90b56646959fbf1070b76 (diff) | |
src/Tactics/Algebra_syntax/Nsatz.v: power 1 only
Diffstat (limited to 'src/Spec')
0 files changed, 0 insertions, 0 deletions