100644 blob e568d47ca252af23f453a9363e66ad6f73da4a5a	caching.md
100644 blob 3c2613035665291f1e43a868d002f48ed22eaaa8	canonicalization.md
100644 blob 9753f7539c27a08bd443817f9086bd047be957d9	coinduction.md
100644 blob fd12b19575748ffdd02d125ba3b0466d05e2865b	invariants.md
100644 blob 8880962d621f0d032073f70d8638797ff7c6527f	opaque-types.md
100644 blob a6f4339d6e489db6830a35b51585377869de2d6b	proof-trees.md
100644 blob eac8f0318fb1946389cf55f0d6a7125b39db9697	significant-changes.md
100644 blob 006fb649d22047d73a760374e93fe9681a0bde09	the-solver.md
100644 blob c1eb1a94b96346335388767993252a6a97f6d9d9	trait-solving.md