src/Doc/Tutorial/ToyList/ToyList_Test.thy
11 months ago ago added ML antiquotation @{master_dir};
21 months ago ago isabelle update_cartouches -c;
2014-11-07 ago proper import of Main: BNF_Least_Fixpoint does not "contain pretty much everything", especially it lacks the 'value' command, which is defined *after* theory List;
2014-10-31 ago provide explicit theory (amending 621c052789b4);
2014-09-18 ago moved 'old_datatype' out of 'Main' (but put it in 'HOL-Proofs' because of the inductive realizer)
2014-09-01 ago renamed modules defining old datatypes, as a step towards having 'datatype_new' take 'datatype's place
2014-07-23 ago more official Thy_Info.script_thy;
2014-05-24 ago more portable file names;
2014-03-18 ago clarifed module name;
2013-09-03 ago more robust ToyList_Test;