56 Commits (master)
 

Author SHA1 Message Date
  Achim D. Brucker b5f15612a7 Upgrading to Isabelle 2020. 1 month ago
  Achim D. Brucker ecbfbe0c64 Switched trunk to Isabelle 2020. 1 year ago
  Achim D. Brucker f2566edeec Initial commit: SML Code Reflection 1 year ago
  Achim D. Brucker 76ab611c86 Port to Isabelle 2019. 1 year ago
  Achim D. Brucker faae943ad9 Fixed serializer for definitions using equality from Pure. 2 years ago
  Achim D. Brucker 05741ac245 Improved representation of IEEE reals. 2 years ago
  Achim D. Brucker dd8a141d5d Code improvement: use actual proof context. 2 years ago
  Achim D. Brucker 446792928e Move theory file name from the level of sections to the level of chapters. 2 years ago
  Achim D. Brucker eacb55c43f Added Jenkins CI configuration. 2 years ago
  Achim D. Brucker 1a88f7c6c3 Added inline Changelot to each theory file. 2 years ago
  Achim D. Brucker b0f0d93440 Initial document generation support. 2 years ago
  Achim D. Brucker ac1cc224b3 Added brief description of Nano JSON. 2 years ago
  Achim D. Brucker 229d3145a5 Initial commit. 2 years ago
  Achim D. Brucker 5346943a2b Added Nano_JSON.thy. 2 years ago
  Achim D. Brucker 64055200c6 First serializer implementation. 2 years ago
  Achim D. Brucker 41634c70ac Added parser and overall cleanup. 2 years ago
  Achim D. Brucker 338dcc874a Added serializer implementation. 2 years ago
  Achim D. Brucker 1be7bfd514 Defined HOL and ML data types for Nano JSON and implemented conversion between them. 2 years ago
  Achim D. Brucker c9a174bdbc Initial commit. 2 years ago
  Achim D. Brucker f8f04dd867 Updated various legacy notations. 2 years ago
  Achim D. Brucker 818438f2cf Isabelle 2018 is now the default version for the master branch. 2 years ago
  Achim D. Brucker bf691e04a0 Fixed markdown. 2 years ago
  Achim D. Brucker 4fe36e9ad4 Fixed markdown. 2 years ago
  Achim D. Brucker 8a5e954215 Prefixed examples to avoid naming conflicts with consuming theories. 2 years ago
  Achim D. Brucker a069d566f8 Bug fix: wrong order of default variables. 2 years ago
  Achim D. Brucker 09aa5120f5 Renamed ._ (_.) to .._ (_..) to avoid conflict with common match pattern. 2 years ago
  Achim D. Brucker ec1db40bd9 Renamed example definitions to avoid name clashes with consuming theories. 2 years ago
  Achim D. Brucker e53d1bcb01 Renamed symtab storing tvar information. 2 years ago
  Achim D. Brucker 479c60b2f3 Added input syntax for specifying the last type variable of a type constructor. 2 years ago
  Achim D. Brucker d0fc49b78c Improved documentation. 2 years ago
  Achim D. Brucker 45e55cf4e7 Implemented possibility to specify a sort (type class) for default variables. 2 years ago
  Achim D. Brucker ce7e3896b3 Fixed markdown. 2 years ago
  Achim D. Brucker 868cfc53a3 Added reference to the isabelle-hacks repository. 2 years ago
  Achim D. Brucker 39ca1b5dc0 Moved hide_tvar_subst_ast_tr into structure Hide_Tvar. 2 years ago
  Achim D. Brucker b493001ea6 Added asserts for type variable customization. 2 years ago
  Achim D. Brucker 251414e8b4 Cleanup of parse translation hide_tvar_subst_ast_tr. 2 years ago
  Achim D. Brucker 3c1b07e065 Introduced ._ and _. notation to override first/last default type variables. 2 years ago
  Achim D. Brucker 54d9b20cc4 Implemented print mode (only apply print translation if default types match). 2 years ago
  Achim D. Brucker 66307c1c2b Made top-level user interface more consistent. 2 years ago
  Achim D. Brucker 92ea551113 Support type synonyms as output notation. 2 years ago
  Achim D. Brucker 66101d2527 Changed styntax for type wildcard from __ to (_). 2 years ago
  Achim D. Brucker 8e9a19266a Support type synonyms as input notation. 2 years ago
  Achim D. Brucker 3b0a88dfa6 Renamed theories to comply to Isabelle's naming convention. 2 years ago
  Achim D. Brucker 9bfbf12444 Register print translation automatically. 2 years ago
  Achim D. Brucker eed51f4515 Theory restructuring. 2 years ago
  Achim D. Brucker 4bc432fcbb First implementation of the corresponding parse translation. 2 years ago
  Achim D. Brucker 40082ac32b Updated shorthand notation. 2 years ago
  Achim D. Brucker 2577669f5f Added hiding_type_variables.thy. 2 years ago
  Achim D. Brucker 0051269b36 Fixed markdown. 2 years ago
  Achim D. Brucker 66f94a0bd5 Initial commit. 2 years ago