d6f515877e060baa1e5c3b961ebc1fef8481077d  int/Abs.xml
4798314a713999989fbfe357e32c863af664b171  int/ComputerDivision.xml
0bf9f4b49f0fd082d03011649520773c6c779365  int/Div2.xml
bf46afb573d8c617c16343bde51d43ef8a0455ab  int/EuclideanDivision.xml
7164924205b1ec7085ec3177436b1127eadb0479  int/Int.xml
8947d7b8d73ca2cd6333024c23b2fa0f5453c562  int/MinMax.xml
9e550b757adffdb78db010e8aa14b85a065b3c60  int/Power.xml
f882849e4118c2f3b657599a39c91708884bba22  bool/Bool.xml
eb7eab45667a1fb9e101975e05f7e9e46c871b15  real/Real.xml
f80da4609433de4d5ccb6ebbbe0fa954c5ed5187  real/RealInfix.xml
95e10201024c51a32ce015927413cbbdcdb46136  real/Abs.xml
2b9040160f6aab64348cf3008365574f02026bb3  real/MinMax.xml
3cc6bd97503e596fae70c51ef1d5401a62114b94  real/FromInt.xml
62beb9d22a9b5a94aaa55b8865e49320f5c776ff  real/Truncate.xml
9ec1794c5e35cee3bc4d71a42be74fc89fb342fb  real/Square.xml
6dc1b60c6ee9c4740643b7b5242808fadb22eae0  real/ExpLog.xml
d9ee378db053cfaaf753de9f664bbb83004b621b  real/Trigonometry.xml
da4b981eb0a086bafef4994a856470521dc76f3a  real/PowerInt.xml
0ed4c61a5065a61910f70b1c2071ac01310fbc37  number/Divisibility.xml
7543f13d887b95912e75f4286bb897ce6fa1c2a1  number/Gcd.xml
dda3028c2500c663d193e634efd37ce62a19447b  number/Parity.xml
4b2c2b7a76c5e07740a349b9a2e220c09a6d4e93  number/Prime.xml
6220fcca885e371361612aa1ae79f744a9725c5b  number/Coprime.xml
45a12fb57ec7dfa939a76438abac525a4a80908f  set/Set.xml
b69dbb0d084bf4eeea3a5538e7a4f054e05e6ef0  set/Fset.xml
1ba510a17cfe80684c2b65ce7b7a0625a56ab1c2  map/Map.xml
b4dbdfd0529dd93c0f5d7f5980be19a79d4e570b  map/Const.xml
b774668e3edc7290afd2af25f3d3acc97b176376  map/Occ.xml
5fc59b90cccec35328bb6f68194e58e366aacab0  map/MapPermut.xml
c97709c7c873bfbaebb707d5b0fe73bf0227f53b  map/MapInjection.xml
d0676b0436915fdc08c5e1a41e8f5fca0d083431  list/List.xml
9d4c7d17d52390704aa03d9e822fba5fdf9b7330  list/Length.xml
d1c8d961045dd5cde490a2e13b9642d4543d9315  list/Mem.xml
ced4512415ca6a09755640fdf8eaee06bedad7e3  list/Nth.xml
1162498dc351c96b45d9b4baf947b508de218694  list/NthNoOpt.xml
5f9f51c5f11258527726aa0c5bd1170a34d4af35  list/NthLength.xml
0820068f8334137249ff44e042d7bbc4bab86ebc  list/HdTl.xml
1baa2e8880329031a27366b9a0f93a0a74c3c1ae  list/NthHdTl.xml
83cd5aed99a330436046243a6fef5b61dbceb5f0  list/Append.xml
660baeb1612da02aa854d8b1bb6b6020890652b7  list/NthLengthAppend.xml
599981a776db69963cad84843234748ff9af5620  list/Reverse.xml
d22ece3391e0afbcc5d968c2ca1adb42e0893c79  list/HdTlNoOpt.xml
9f17f45865d620f6e83cff99bc8bde424767dd74  list/RevAppend.xml
9b4b44b399d0a3dd984bd28052e973ccf40ccb43  list/Combine.xml
015c4c7c0a410f0d9437031e6d231604fbca7ffb  list/Distinct.xml
5645487a4e3ec5c5caed7b281f458f1c9cdeea26  list/NumOcc.xml
70188a9eb4e534636169ac4a26fcf3d532ab0d96  list/Permut.xml
0b0dc7516afdb64d691c14d202a63cd997eba4b5  bv/Pow2int.xml
e28e9a2aa6701300483271875f1c05d64b6af248  bv/BV8.xml
4fab256938a3786a9c527d33ca625e4b692cbd18  bv/BV16.xml
5a0d545fe0c6c53576152a7b28c7f91638d57849  bv/BV32.xml
79f4e919411914dfc822125036f714581a125f81  bv/BV64.xml
b3a8d1362c08be1b8c632143346af8602ac25810  bv/BVConverter_32_64.xml
fbc0275a3c8d6ed6f554252daee2abc8c98abd4b  bv/BVConverter_16_64.xml
a22301a82ead779544babca7b611753c5b92e19b  bv/BVConverter_8_64.xml
6aeacbb8783bc5a4b4aace3ae26a4489e59fc897  bv/BVConverter_16_32.xml
f4e165e332bb7d54210c3dcc3cf7f2350d9dd338  bv/BVConverter_8_32.xml
3fdcfe2957fb9cd71f7c000d5f56afd7f3cffb03  bv/BVConverter_8_16.xml
