Nominal/Parser.thy
2010-05-14 Christian Urban started a new file for the parser to make some experiments
2010-05-03 Cezary Kaliszyk remove tracing
2010-05-03 Cezary Kaliszyk Fix Parser
2010-05-02 Christian Urban moved old parser and old fv back into their original places; isabelle make works again
2010-04-30 Cezary Kaliszyk NewParser with Parser functionality, but some cheats included since the order of datayupes is wrong.
2010-04-30 Cezary Kaliszyk Merged nominal_datatype into NewParser until eqvts
2010-04-30 Cezary Kaliszyk more parser/new parser synchronization.
2010-04-30 Cezary Kaliszyk Simplify old parser for integration
2010-04-25 Christian Urban tuned and made to compile
2010-04-24 Christian Urban merged
2010-04-21 Christian Urban merged
2010-04-20 Christian Urban renamed Ex1.thy to SingleLet.thy
2010-04-20 Cezary Kaliszyk Fix of comment
2010-04-19 Cezary Kaliszyk merge
2010-04-19 Cezary Kaliszyk Locations of files in Parser
less more (0) -100 -15 tip