doc-src/Tutorial/Datatype/trieexhaust.ML
author nipkow
Thu, 06 Jul 2000 09:46:56 +0200
changeset 9255 2ceb11a2e190
parent 5851 15ce4c1c8313
permissions -rw-r--r--
*** empty log message ***

by(ALLGOALS (case_tac "bs"));