Pages with the most revisions

Jump to: navigation, search

Showing below up to 29 results in range #1 to #29.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

  1. Having 'a set back‏‎ (118 revisions)
  2. Main Page‏‎ (102 revisions)
  3. Working with the repository version of Isabelle‏‎ (40 revisions)
  4. Numerals‏‎ (40 revisions)
  5. Error Messages‏‎ (25 revisions)
  6. Publish contributions as an external‏‎ (23 revisions)
  7. Projects‏‎ (19 revisions)
  8. Generate TeX Snippets‏‎ (19 revisions)
  9. Extending Isabelle/jEdit‏‎ (15 revisions)
  10. FAQ‏‎ (15 revisions)
  11. Theory Collections‏‎ (13 revisions)
  12. How to use this wiki‏‎ (12 revisions)
  13. Notes on Isar keywords‏‎ (11 revisions)
  14. Ideas for simp trace‏‎ (10 revisions)
  15. Course Material‏‎ (9 revisions)
  16. Administration of the mira testing facilities‏‎ (7 revisions)
  17. Lemma Collections‏‎ (6 revisions)
  18. Searching for Theorems‏‎ (5 revisions)
  19. Multiple Isabelle and corresponding AFP repositories‏‎ (4 revisions)
  20. How can I instantiate a variable in an existential qualifier in apply style‏‎ (4 revisions - redirect page)
  21. Administration of the isatest facilities‏‎ (4 revisions)
  22. Reconstructing the Isabelle repository‏‎ (3 revisions)
  23. Building AFP‏‎ (3 revisions)
  24. Data Refinement‏‎ (2 revisions)
  25. Isabelle Cheat Sheet‏‎ (2 revisions)
  26. Notes on Isabelle/HOL Simprocs‏‎ (2 revisions)
  27. Add-on Tools‏‎ (2 revisions)
  28. How can I instantiate a variable in an existential quantifier in apply style‏‎ (2 revisions)
  29. How can I remove all elements in a list with a certain property?‏‎ (2 revisions)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)