Add missing refprefixes for theorems (#8781)

[features.git] / lib / layouts / theorems-refprefix.inc

diff --git a/lib/layouts/theorems-refprefix.inc b/lib/layouts/theorems-refprefix.inc
index fd3b9d8a2ddf2478b613647d1a1d3e872f31da77..b055d0e90bc0f94de0c2f2e18f9956ff5108aa7d 100644 (file)
--- a/lib/layouts/theorems-refprefix.inc
+++ b/lib/layouts/theorems-refprefix.inc
@@ -17,3 +17,75 @@ End
 IfStyle Proposition
        RefPrefix prop
 End
+
+IfStyle Conjecture
+       RefPrefix conj
+End
+
+IfStyle Definition
+       RefPrefix def
+End
+
+IfStyle Example
+       RefPrefix exa
+End
+
+IfStyle Problem
+       RefPrefix prob
+End
+
+IfStyle Exercise
+       RefPrefix exer
+End
+
+IfStyle Remark
+       RefPrefix rem
+End
+
+IfStyle Claim
+       RefPrefix claim
+End
+
+IfStyle Fact
+       RefPrefix fact
+End
+
+IfStyle Criterion
+       RefPrefix cri
+End
+
+IfStyle Algorithm
+       RefPrefix alg
+End
+
+IfStyle Axiom
+       RefPrefix axm
+End
+
+IfStyle Condition
+       RefPrefix cond
+End
+
+IfStyle Note
+       RefPrefix note
+End
+
+IfStyle Notation
+       RefPrefix nota
+End
+
+IfStyle Summary
+       RefPrefix sum
+End
+
+IfStyle Acknowledgement
+       RefPrefix ack
+End
+
+IfStyle Conclusion
+       RefPrefix conc
+End
+
+IfStyle Assumption
+       RefPrefix assu
+End