diff --git a/vampire-v5/vampirev5.html b/vampire-v5/vampirev5.html index b7d0664f10..82b126d06a 100644 --- a/vampire-v5/vampirev5.html +++ b/vampire-v5/vampirev5.html @@ -42,6 +42,7 @@ This license MUST be copied on to any derivative work. Effectively feel free to use, edit and modify the code to your hearts content. As I understand it this will only cause an issue if you try to use it for commerical gain. This has been added to ensure the community benefits from it. --> + @@ -78,6 +79,18 @@ + +
| @@ -433,7 +446,7 @@ - @@ -462,7 +475,7 @@ - | @@ -490,7 +503,7 @@ - @@ -521,7 +534,7 @@ - @@ -548,7 +561,7 @@ - @@ -574,7 +587,7 @@ - @@ -602,7 +615,7 @@ - @@ -628,7 +641,7 @@ - @@ -654,7 +667,7 @@ - @@ -1050,11 +1063,11 @@ - -
@@ -1097,7 +1110,7 @@
-
@@ -1120,7 +1133,7 @@
-
@@ -1145,7 +1158,7 @@
-
@@ -1170,7 +1183,7 @@
-
@@ -1193,7 +1206,7 @@
-
@@ -1216,7 +1229,7 @@
-
@@ -1241,7 +1254,7 @@
-
@@ -1264,7 +1277,7 @@
-
@@ -1287,7 +1300,7 @@
-
@@ -1312,7 +1325,7 @@
-
@@ -1335,7 +1348,7 @@
-
@@ -1358,7 +1371,7 @@
-
@@ -1383,7 +1396,7 @@
-
@@ -1406,7 +1419,7 @@
-
@@ -1429,7 +1442,7 @@
-
@@ -1454,7 +1467,7 @@
-
@@ -1477,7 +1490,7 @@
-
@@ -1500,7 +1513,7 @@
-
@@ -1525,7 +1538,7 @@
-
@@ -1548,7 +1561,7 @@
-
@@ -1571,7 +1584,7 @@
-
@@ -1596,7 +1609,7 @@
-
@@ -1619,7 +1632,7 @@
-
@@ -1642,7 +1655,7 @@
-
@@ -1667,7 +1680,7 @@
-
@@ -1690,7 +1703,7 @@
-
@@ -1713,7 +1726,7 @@
-
@@ -1790,7 +1803,7 @@
-
-
@@ -1860,7 +1873,7 @@
Power 1- | |||||||