Introduced the function some_elem for grabbing an element from a non-empty set, and simplified the theorem the_elem_image_unique
/* Title: Pure/System/cygwin.scala
Author: Makarius
Cygwin as POSIX emulation on Windows.
*/
package isabelle
import java.nio.file.Files
import scala.annotation.tailrec
object Cygwin
{
}