1998-03-03 | paulson | New theorem diff_Suc_le_Suc_diff; tidied another proof | changeset | files |
1998-03-03 | paulson | auto generated | changeset | files |
1998-02-28 | nipkow | Modified def. | changeset | files |
1998-02-28 | nipkow | Splitters via named loopers. | changeset | files |
1998-02-28 | nipkow | Little reorganization. Loop tactics have names now. | changeset | files |
1998-02-28 | nipkow | Tried to reorganize rewriter a little. More to be done. | changeset | files |
1998-02-27 | oheimb | added minimal description of rep_cs: corrections | changeset | files |
1998-02-27 | oheimb | added minimal description of rep_cs | changeset | files |
1998-02-27 | oheimb | added minimal description of rep_ss | changeset | files |
1998-02-27 | paulson | "choice" moved to Set.ML | changeset | files |
1998-02-27 | paulson | New absorbsion laws, etc | changeset | files |
1998-02-27 | paulson | Vimage | changeset | files |
Loading... |